The ptolemy.verification.lib package.
@since Ptolemy II 7.2