Uses of Package
org.bigraphs.framework.simulation.modelchecking
Packages that use org.bigraphs.framework.simulation.modelchecking
-
Classes in org.bigraphs.framework.simulation.modelchecking used by org.bigraphs.framework.simulation.modelcheckingClassDescriptionA bigraph model checker that allows to simulate a BRS by reaction rules.This class represents the available options for the model checker
BigraphModelChecker.This class represents export-specific options regarding the generated artifacts when synthesizing the transition system.Class that represents simulation-specific options.Default values:
allow reducible classes:falseStrategy pattern for implementing new model checking algorithms.Base class for supporting model checking strategy implementations.