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 model checker for Bigraphical Reactive Systems (BRS) that simulates state-space evolution by repeatedly applying reaction rules.The algorithm implemented here to synthesize the "reaction graph" is adopted from [1].This algorithm implements a depth-first model checking algorithm.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.