Package | Description |
---|---|
de.uni_due.inf.ti.raven.algorithms |
Classes to run different algorithms.
|
Modifier and Type | Class and Description |
---|---|
class |
AntichainInvariantChecking
This class implements the two antichain algorithms for checking invariants.
|
class |
BisimulationUpToCongruenceInvariantChecking
This class implements the bisimulation up to congruence algorithm for both deciding the
language equivalence and the language inclusion problem for (finite) automata.
|
class |
SimulationAntichainInvariantChecking
This class implements the two antichain algorithms for checking invariants.
|