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:false
Strategy pattern for implementing new model checking algorithms.Base class for supporting model checking strategy implementations.