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

FmvAutomaton	A Formal Method Verification (FMV) Automaton.
FmvAutomaton.VariableInfo
FmvAutomaton.VariableTransitionInfo
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