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.
