Package edu.wis.jtlv.old_lib.mc

The old library containing model checking algorithms.

See:
Description

Class Summary

CTLModelChecker	A wrapper to a SMVModule which knows how to check CTL properties for the given module.
LTLModelChecker	A wrapper to a SMVModule which knows how to check LTL properties for the given module.
LTLModelChecker.LTLTesterBuilder
ModelChecker
SimpleModelChecker	A wrapper to a SMVModule which knows how to check simple properties for the given module.

Exception Summary

CounterExampleException	An exception dedicated for counter examples.
ModelCheckException	An exception dedicated for all kind of model checking issues.

Package edu.wis.jtlv.old_lib.mc Description

The old library containing model checking algorithms.

Version:

"1.3.2"

Author:

yaniv sa'ar.