File:Surf2014 keymaera train.png: Revision history

From Murray Wiki
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

29 December 2013

  • curprev 18:4318:43, 29 December 2013‎ Ifilippi talk contribs‎ 213 bytes +213‎ 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].
Retrieved from "https://murray.cds.caltech.edu/File:Surf2014_keymaera_train.png"