Package ptolemy.domains.modal.kernel.fmv

Formal Method Verification automata that provide a specialized environment to invoke the NuSMV model checker.

See: Description

Class Summary

Class	Description
FmvAutomaton	Deprecated ptolemy.de.lib.TimedDelay is deprecated, use ptolemy.actor.lib.TimeDelay.
FmvState	A Formal Method Verification (FMV) State.

Package ptolemy.domains.modal.kernel.fmv Description

Formal Method Verification automata that provide a specialized environment to invoke the NuSMV model checker.

Since:

Ptolemy II 6.1