Versions Compared

Old Version 25

changes.mady.by.user Jim Entwood

Saved on

compared with

New Version 26

changes.mady.by.user Jim Entwood

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

See Mark's Correct-by-Construction slides from the CRASH May 2012 PI meeting.

More about EventML is at http://www.nuprl.org/software/ and for additional examples see the EventML Tutorial

...