Package ptolemy.verification.kernel

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