Analysis Interfaces
-
class momba.analysis.Checker[source]
An abstract class for model checkers.
-
abstract check(network, *, properties=None, property_names=None)[source]
Model checks the given properties on the network.
-
momba.tools.modest.get_checker(*, accept_license)[source]
Returns an instance of Checker
.
-
momba.tools.storm.get_checker(*, accept_license)[source]
Returns an instance of Checker
.