Utilities that provides a specialized environment to convert existing Ptolemy II models into SMV format and invoke the NuSMV model checker.

See $PTII/ptolemy/verification/README.html for instructions about demonstrations.

@since Ptolemy II 7.1