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