Package edu.wis.jtlv.lib.mc

The library containing all implemented model checking algorithms.

See:
Description

Class Summary

ModelCheckAlgI
SimpleDeadlockAlg	An algorithm for performing deadlock check.
SimpleInvarianceAlg	An algorithm for performing an invariance check.
SimpleReactAlg	An algorithm for performing the react check.
SimpleTempEntailAlg	An algorithm for performing the temp entailment check.

Exception Summary

ModelCheckAlgCounterExampleException	An exception dedicated for counter examples.
ModelCheckAlgException	An exception dedicated for all kind of model checking issues.

Package edu.wis.jtlv.lib.mc Description

The library containing all implemented model checking algorithms.

Version:

"1.3.2"

Author:

yaniv sa'ar.