12:4512:45, 23 January 2012diffhist+7,269 N
TLA
Created page with 'As of version 1.3.5, ProB supports [http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html TLA+]. = Using ProB for Animation and Model Checking of TLA+ specification…'
07:1407:14, 24 December 2011diffhist+1,801 N
Tutorial Modeling Infinite Datatypes
Created page with '__NOTOC__ This tutorial describes how to model (and how not to model) infinite datatypes so that they can be animated with ProB. We illustrate this using a Stack datatype. This …'
11:2211:22, 17 November 2011diffhist+1,151 N
Prolog Coding Guidelines
Created page with ' * Module Information Every module should be annotated with module information. This is used by our coverage analysis tool. <pre> :- module(MYMODULE, [ exported_predicate/arit…'
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 …'
