Skip navigation links

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.

See: Description

Package ptolemy.verification.kernel Description

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
Skip navigation links