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
-
Class Summary Class Description MathematicalModelConverter Deprecated. ptolemy.de.lib.TimedDelay is deprecated, use ptolemy.actor.lib.TimeDelay.REDUtility Deprecated. ptolemy.de.lib.TimedDelay is deprecated, use ptolemy.actor.lib.TimeDelay.SMVUtility Deprecated. ptolemy.de.lib.TimedDelay is deprecated, use ptolemy.actor.lib.TimeDelay. -
Enum Summary Enum Description MathematicalModelConverter.FormulaType MathematicalModelConverter.ModelType MathematicalModelConverter.OutputType