File:Surf2014 keymaera train.png

From MurrayWiki
Jump to: navigation, 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.

Metadata