See $PTII/ptolemy/verification/README.html for instructions about demonstrations.
$PTII/ptolemy/verification/README.html
@since Ptolemy II 7.1