ProB: Revision history

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

2 May 2016

30 September 2008

10 September 2008

10 July 2008

2 July 2008

20 June 2008

  • curprev 07:3607:36, 20 June 2008‎ imported>Jens‎ 256 bytes −1‎ No edit summary
  • curprev 07:3607:36, 20 June 2008‎ imported>Jens‎ 257 bytes +257‎ New page: ProB is an animator and model checker for the B-Method. It allows fully automatic animation of many B specifications, and can be used to systematically check a specification for errors. ...
Retrieved from ‘https://wiki.event-b.org/index.php/ProB’