The ptolemy.verification.kernel.maude package.
@since Ptolemy II 7.2