Package ptolemy.vergil.modal.fmv

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

Since:
Ptolemy II 6.1