Package ptolemy.domains.modal.kernel.fmv

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

Since:

Ptolemy II 6.1

Class Summary

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