Vergil Formal Method Verification automata that provide a specialized environment to invoke the NuSMV model checker.
@since Ptolemy II 6.1