12:5612:56, 25 October 2010diffhist+992 N
SiemensComplicatedProp
Created page with 'This shows the graphical visualisation of a complicated property by ProB's graphical formula viewer. The property is the following one: <pre> (!iti_ztr.(iti_ztr: t_iti_ztr_pas =…'
18:5818:58, 10 October 2010diffhist+1,786 N
Tutorial CSP First Step
Created page with '[Category:User Manual]] == Startup == Start off by installing the standalone Tcl/Tk version of ProB. Follow the instructions in Installation. Start ProB by double-clicking…'
05:2405:24, 4 October 2010diffhist+2,315 N
TrainSwitchingPuzzle
Created page with 'This model was developed to solve Puzzle Nr 40 from the book "My best mathematical and logical puzzles" by Martin Gardner. <tt> MACHINE GardnerSwitchingPuzzle_v2 /* v2 without …'
11:1511:15, 15 June 2010diffhist+950 N
ProBLicence
Created page with 'Category:User Manual == ProB Licence == (C) 2000-2010 Michael Leuschel (and many others; see below) All rights reserved. ProB can now be used freely for commercial, non-co…'
18:3218:32, 11 February 2010diffhist+1,544 N
Links
Created page with '== Books == * [http://www.jpbowen.com/publications/thes-b.html The B-Book: Assigning programs to meanings, by Jean-Raymond Abrial] (link is to a review by Jonathan Bowen) * [http…'