*** This version of Confluence is for testing only and contains a copy of content from June 29th 2026. No changes will be preserved. ***
...
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
...