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

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

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