This package includes core Functions that provides a specialized environment to convert existing Ptolemy II models into SMV format and invoke the NuSMV model checker.
@since Ptolemy II 7.0