Better be safe than sorry. SMT-based verification of parameterized MASsvia the MCMT model checker
Better be safe than sorry.
SMT-based verification of parameterized MASsvia the MCMT model checker
For more informations and details, please check these references:
better be safe than sorry