08:5608:56, 30 August 2015diffhist+950 N
Checking CSP Assertions
Created page with 'As of version 1.3.4, ProB provides support for refinement checking and various other assertions (deadlock, divergence, determinism, and LTL/CTL assertions) of CSP-M specification…'
17:1717:17, 16 March 2015diffhist+9,665 N
Tutorial Various Optimizations
Created page with '{{Revision}} The ordinary model checker of ProB enables the user to verify automatically whether a B model contains any errors such as deadlocks and invariant violations. The sea…'