Disprover: 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

9 April 2013

26 March 2010

10 September 2009

  • curprev 15:0915:09, 10 September 2009‎ imported>Jastram‎ 3,197 bytes −32‎ No edit summary
  • curprev 15:0815:08, 10 September 2009‎ imported>Jastram‎ 3,229 bytes +4‎ No edit summary
  • curprev 15:0615:06, 10 September 2009‎ imported>Jastram‎ 3,225 bytes +3,225‎ New page: == ProB Disprover == The ProB Disprover plugin for RODIN utilizes the ProB animator and model checker to automatically find counterexamples for a given problematic proof obligation. The ...
Retrieved from ‘https://wiki.event-b.org/index.php/Disprover’