https://murray.cds.caltech.edu/index.php?action=history&feed=atom&title=File%3ASurf2014_keymaera_train.pngFile:Surf2014 keymaera train.png - Revision history2026-07-27T18:59:04ZRevision history for this page on the wikiMediaWiki 1.44.2https://murray.cds.caltech.edu/index.php?title=File:Surf2014_keymaera_train.png&diff=16616&oldid=prevIfilippi: Screenshot of [http://symbolaris.com/info/KeYmaera.html KeYmaera] proving a specification about a hybrid program representing a train. The hybrid program is from [http://symbolaris.com/pub/lahs-tutorial.pdf here].2013-12-29T18:43:52Z<p>Screenshot of [http://symbolaris.com/info/KeYmaera.html KeYmaera] proving a specification about a hybrid program representing a train. The hybrid program is from [http://symbolaris.com/pub/lahs-tutorial.pdf here].</p>
<p><b>New page</b></p><div>Screenshot of [http://symbolaris.com/info/KeYmaera.html KeYmaera] proving a specification about a hybrid program representing a train. The hybrid program is from [http://symbolaris.com/pub/lahs-tutorial.pdf here].</div>Ifilippi