...
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
...
...
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
...