File:Surf2014 keymaera train.png

From Murray Wiki
Revision as of 18:43, 29 December 2013 by Ifilippi (talk | contribs) (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].)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Original file ‎(1,134 × 1,206 pixels, file size: 217 KB, MIME type: image/png)

Screenshot of KeYmaera proving a specification about a hybrid program representing a train. The hybrid program is from here.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current18:43, 29 December 2013Thumbnail for version as of 18:43, 29 December 20131,134 × 1,206 (217 KB)Ifilippi (talk | contribs)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].

You cannot overwrite this file.

Retrieved from "https://murray.cds.caltech.edu/index.php?title=File:Surf2014_keymaera_train.png&oldid=16616"