User contributions for Michael Leuschel

25 February 2012

• 07:0907:09, 25 February 2012 diff hist +71‎ Tutorial ‎No edit summary

23 February 2012

• 15:4415:44, 23 February 2012 diff hist +142‎ ProZ ‎No edit summary

18 February 2012

• 10:0410:04, 18 February 2012 diff hist +185‎ TLA ‎ →‎Using ProB for Animation and Model Checking of TLA+ specifications

10 February 2012

• 14:5414:54, 10 February 2012 diff hist +80‎ Using the Command-Line Version of ProB ‎ →‎Preferences

6 February 2012

• 06:5606:56, 6 February 2012 diff hist +3‎ TLA ‎ →‎Supported TLA+ syntax
• 06:5306:53, 6 February 2012 diff hist −4‎ TLA ‎ →‎Limitations of the translation
• 06:5306:53, 6 February 2012 diff hist −2‎ TLA ‎ →‎TLA2B
• 06:5206:52, 6 February 2012 diff hist −6‎ TLA ‎ →‎Using ProB for Animation and Model Checking of TLA+ specifications
• 06:4706:47, 6 February 2012 diff hist +72‎ TLA ‎ →‎Using ProB for Animation and Model Checking of TLA+ specifications

26 January 2012

• 10:2110:21, 26 January 2012 diff hist +107‎ Tutorial Modeling Infinite Datatypes ‎No edit summary
• 10:2010:20, 26 January 2012 diff hist +121‎ Recursively Defined Functions ‎No edit summary
• 10:1510:15, 26 January 2012 diff hist 0‎ Recursively Defined Functions ‎No edit summary
• 10:1410:14, 26 January 2012 diff hist +118‎ Recursively Defined Functions ‎No edit summary
• 10:1010:10, 26 January 2012 diff hist +463‎ Recursively Defined Functions ‎No edit summary
• 10:0910:09, 26 January 2012 diff hist +249‎ Recursively Defined Functions ‎No edit summary
• 10:0610:06, 26 January 2012 diff hist +791‎ Recursively Defined Functions ‎No edit summary

23 January 2012

• 16:4116:41, 23 January 2012 diff hist −1‎ TLA ‎ →‎Using ProB for Animation and Model Checking of TLA+ specifications
• 16:4116:41, 23 January 2012 diff hist +36‎ TLA ‎ →‎Using ProB for Animation and Model Checking of TLA+ specifications
• 12:5112:51, 23 January 2012 diff hist +136‎ TLA ‎ →‎TLA2B
• 12:4912:49, 23 January 2012 diff hist +87‎ TLA ‎No edit summary
• 12:4812:48, 23 January 2012 diff hist +1,091‎ TLA ‎No edit summary
• 12:4712:47, 23 January 2012 diff hist +517‎ TLA ‎No edit summary
• 12:4512:45, 23 January 2012 diff hist +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…'
• 12:4212:42, 23 January 2012 diff hist +44‎ Template:User Manual Index ‎No edit summary
• 12:3912:39, 23 January 2012 diff hist +88‎ Links ‎ →‎Tools
• 12:3812:38, 23 January 2012 diff hist +76‎ Links ‎ →‎Tools
• 11:3111:31, 23 January 2012 diff hist 0‎ CSP-M ‎ →‎Limitations of CSP-M Support
• 11:2911:29, 23 January 2012 diff hist +116‎ CSP-M ‎ →‎Limitations of CSP-M Support
• 11:2611:26, 23 January 2012 diff hist −34‎ CSP-M ‎ →‎Limitations of CSP-M Support

24 December 2011

• 07:1807:18, 24 December 2011 diff hist 0‎ N File:StackConstructiveProB.png ‎No edit summary current
• 07:1807:18, 24 December 2011 diff hist +198‎ Tutorial Modeling Infinite Datatypes ‎No edit summary
• 07:1407:14, 24 December 2011 diff hist +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 …'
• 07:0807:08, 24 December 2011 diff hist +43‎ Tutorial ‎No edit summary

15 December 2011

• 14:3714:37, 15 December 2011 diff hist +127‎ Download ‎ →‎Nightly Build
• 14:3614:36, 15 December 2011 diff hist −10‎ Download ‎No edit summary
• 14:3414:34, 15 December 2011 diff hist +123‎ The ProB Animator and Model Checker ‎No edit summary
• 14:3314:33, 15 December 2011 diff hist +134‎ The ProB Animator and Model Checker ‎No edit summary

5 December 2011

• 14:5714:57, 5 December 2011 diff hist +64‎ Download ‎ →‎Latest Release
• 14:5514:55, 5 December 2011 diff hist +21‎ ProBLicence ‎ →‎ProB Licence

30 November 2011

• 14:1114:11, 30 November 2011 diff hist 0‎ Download ‎ →‎Latest Release
• 13:3913:39, 30 November 2011 diff hist +31‎ Download ‎No edit summary
• 13:3613:36, 30 November 2011 diff hist +28‎ Download ‎ →‎Latest Release
• 11:2611:26, 30 November 2011 diff hist 0‎ Download ‎ →‎Latest Release

27 November 2011

• 20:3720:37, 27 November 2011 diff hist +9‎ Download ‎ →‎Latest Release
• 20:3720:37, 27 November 2011 diff hist +9‎ Download ‎ →‎Latest Release
• 20:3620:36, 27 November 2011 diff hist +1‎ Download ‎ →‎Latest Release
• 20:3520:35, 27 November 2011 diff hist −9‎ Download ‎ →‎Latest Release

21 November 2011

• 13:1813:18, 21 November 2011 diff hist +204‎ The ProB Animator and Model Checker ‎No edit summary
• 13:0813:08, 21 November 2011 diff hist +199‎ Download ‎No edit summary
• 13:0113:01, 21 November 2011 diff hist 0‎ Download ‎ →‎Latest Release
• 13:0013:00, 21 November 2011 diff hist 0‎ Download ‎ →‎Latest Release
• 12:5912:59, 21 November 2011 diff hist +76‎ Download ‎ →‎Latest Release

20 November 2011

• 16:0116:01, 20 November 2011 diff hist 0‎ Using the Command-Line Version of ProB ‎ →‎-version
• 15:5915:59, 20 November 2011 diff hist −111‎ Using the Command-Line Version of ProB ‎No edit summary
• 15:5515:55, 20 November 2011 diff hist +44‎ Using the Command-Line Version of ProB ‎No edit summary
• 15:5415:54, 20 November 2011 diff hist +187‎ Using the Command-Line Version of ProB ‎ →‎-cbc_deadlock_pred >
• 15:5215:52, 20 November 2011 diff hist +372‎ Using the Command-Line Version of ProB ‎ →‎-cbc_deadlock
• 15:4715:47, 20 November 2011 diff hist −4‎ Evaluation View ‎ →‎Understanding the Invariant and Properties current

17 November 2011

• 11:2811:28, 17 November 2011 diff hist +357‎ Prolog Coding Guidelines ‎No edit summary
• 11:2311:23, 17 November 2011 diff hist +3‎ Prolog Coding Guidelines ‎No edit summary
• 11:2211:22, 17 November 2011 diff hist +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…'
• 11:1611:16, 17 November 2011 diff hist +29‎ Developer Manual ‎No edit summary

7 October 2011

• 12:0412:04, 7 October 2011 diff hist 0‎ Tutorial ‎No edit summary
• 12:0412:04, 7 October 2011 diff hist +61‎ Tutorial ‎No edit summary

6 October 2011

• 14:5914:59, 6 October 2011 diff hist +78‎ Using the Command-Line Version of ProB ‎ →‎-his
• 14:5814:58, 6 October 2011 diff hist −1‎ Using the Command-Line Version of ProB ‎ →‎-his
• 14:5814:58, 6 October 2011 diff hist +99‎ Using the Command-Line Version of ProB ‎ →‎-sptxt
• 14:0114:01, 6 October 2011 diff hist +888‎ Using the Command-Line Version of ProB ‎ →‎Preferences
• 13:5713:57, 6 October 2011 diff hist +162‎ Using the Command-Line Version of ProB ‎ →‎Preferences

5 October 2011

• 07:0407:04, 5 October 2011 diff hist +219‎ Using the Command-Line Version of ProB ‎ →‎-sptxt
• 06:5906:59, 5 October 2011 diff hist +287‎ Using the Command-Line Version of ProB ‎ →‎-his

28 September 2011

• 08:4808:48, 28 September 2011 diff hist +165‎ Why Prolog? ‎ →‎Why SICStus Prolog

25 September 2011

• 09:2109:21, 25 September 2011 diff hist +238‎ Using the Command-Line Version of ProB ‎ →‎-mc

21 September 2011

• 14:3314:33, 21 September 2011 diff hist −17‎ Download ‎ →‎Nightly Build
• 14:3114:31, 21 September 2011 diff hist +29‎ Download ‎ →‎Nightly Build
• 14:1314:13, 21 September 2011 diff hist +34‎ Download ‎ →‎Nightly Build
• 14:1214:12, 21 September 2011 diff hist +55‎ Download ‎ →‎Nightly Build

20 September 2011

• 12:4912:49, 20 September 2011 diff hist +187‎ Using the Command-Line Version of ProB ‎ →‎-animate
• 12:3812:38, 20 September 2011 diff hist −24‎ Download ‎ →‎Nightly Build

15 September 2011

• 15:3615:36, 15 September 2011 diff hist +160‎ Using the Command-Line Version of ProB ‎ →‎-assertions
• 15:3515:35, 15 September 2011 diff hist +373‎ Using the Command-Line Version of ProB ‎ →‎-assertions

13 September 2011

• 14:5414:54, 13 September 2011 diff hist −1‎ Download ‎ →‎Nightly Build
• 14:5314:53, 13 September 2011 diff hist +336‎ Download ‎ →‎Nightly Build

8 September 2011

• 17:1117:11, 8 September 2011 diff hist +222‎ Symmetry Reduction ‎No edit summary

1 September 2011

• 13:2113:21, 1 September 2011 diff hist +50‎ Download ‎ →‎Latest Release
• 10:1510:15, 1 September 2011 diff hist +151‎ Download ‎ →‎Latest Release

30 July 2011

• 07:3207:32, 30 July 2011 diff hist +87‎ Using the Command-Line Version of ProB ‎No edit summary

29 July 2011

• 12:2012:20, 29 July 2011 diff hist +5‎ Using the Command-Line Version of ProB ‎ →‎-sptxt
• 08:5508:55, 29 July 2011 diff hist +187‎ Using the Command-Line Version of ProB ‎ →‎-dot_output

27 July 2011

• 06:5606:56, 27 July 2011 diff hist +167‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Complicating the Example current

25 July 2011

• 15:3615:36, 25 July 2011 diff hist +497‎ Tutorial Debugging Well-Definedness and Transition Errors ‎No edit summary
• 15:3315:33, 25 July 2011 diff hist 0‎ Tutorial Debugging Well-Definedness and Transition Errors ‎No edit summary
• 15:3215:32, 25 July 2011 diff hist 0‎ File:ProB While INV Violation.png ‎ uploaded a new version of "File:ProB While INV Violation.png"
• 15:3115:31, 25 July 2011 diff hist 0‎ File:ProB While INV Violation.png ‎ uploaded a new version of "File:ProB While INV Violation.png"
• 15:3115:31, 25 July 2011 diff hist 0‎ File:ProB While INV Violation.png ‎ uploaded a new version of "File:ProB While INV Violation.png"
• 15:3015:30, 25 July 2011 diff hist 0‎ N File:ProB While INV Violation.png ‎No edit summary
• 15:3015:30, 25 July 2011 diff hist 0‎ N File:ProB WhileAfterErrClick.png ‎No edit summary current
• 15:2915:29, 25 July 2011 diff hist 0‎ N File:ProB WhileAfterLoad.png ‎No edit summary
• 15:2915:29, 25 July 2011 diff hist +1,427‎ N Tutorial Debugging Well-Definedness and Transition Errors ‎ Created page with 'Category:Tutorial Category:User Manual We assume that you have grasped the way that ProB setups up the initial states of a B machine as outlined in [[Tutorial Setup Phas…'
• 15:2515:25, 25 July 2011 diff hist +1‎ Tutorial ‎No edit summary
• 15:2415:24, 25 July 2011 diff hist +63‎ Tutorial ‎No edit summary

20 July 2011

• 11:4111:41, 20 July 2011 diff hist +73‎ Current Limitations ‎No edit summary
• 11:3511:35, 20 July 2011 diff hist −160‎ Current Limitations ‎No edit summary

19 July 2011

• 10:1310:13, 19 July 2011 diff hist +558‎ Using the Command-Line Version of ProB ‎No edit summary
• 07:1507:15, 19 July 2011 diff hist +350‎ Using the Command-Line Version of ProB ‎No edit summary
• 07:1107:11, 19 July 2011 diff hist +751‎ Using the Command-Line Version of ProB ‎No edit summary

18 July 2011

• 15:5815:58, 18 July 2011 diff hist −8‎ Using the Command-Line Version of ProB ‎ →‎Preferences
• 15:5715:57, 18 July 2011 diff hist +91‎ Using the Command-Line Version of ProB ‎ →‎Preferences
• 15:5515:55, 18 July 2011 diff hist +4‎ Using the Command-Line Version of ProB ‎ →‎-version
• 15:5515:55, 18 July 2011 diff hist +198‎ Using the Command-Line Version of ProB ‎ →‎-version

14 July 2011

• 16:2516:25, 14 July 2011 diff hist +561‎ Using the Command-Line Version of ProB ‎ →‎Options

29 June 2011

• 11:4011:40, 29 June 2011 diff hist +454‎ Using the Command-Line Version of ProB ‎No edit summary
• 11:2911:29, 29 June 2011 diff hist +135‎ Using the Command-Line Version of ProB ‎ →‎-i
• 11:2911:29, 29 June 2011 diff hist +15‎ Using the Command-Line Version of ProB ‎ →‎-det_check
• 11:1811:18, 29 June 2011 diff hist +518‎ Using the Command-Line Version of ProB ‎No edit summary
• 11:0011:00, 29 June 2011 diff hist +330‎ Using the Command-Line Version of ProB ‎No edit summary

27 June 2011

• 08:4708:47, 27 June 2011 diff hist +86‎ Links ‎ →‎Tools
• 08:4608:46, 27 June 2011 diff hist +43‎ Links ‎ →‎Tools

30 May 2011

• 16:0016:00, 30 May 2011 diff hist +28‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
• 15:5815:58, 30 May 2011 diff hist 0‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
• 15:5815:58, 30 May 2011 diff hist +238‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples

24 May 2011

• 09:3109:31, 24 May 2011 diff hist +280‎ Tutorial Rodin First Step ‎ →‎Starting ProB
• 09:2809:28, 24 May 2011 diff hist 0‎ File:ProBRodinStart.png ‎ uploaded a new version of "File:ProBRodinStart.png"
• 09:2009:20, 24 May 2011 diff hist +34‎ Tutorial Rodin First Step ‎ →‎Starting ProB
• 09:1009:10, 24 May 2011 diff hist +18‎ Tutorial Rodin First Step ‎ →‎Starting ProB

6 May 2011

• 15:1515:15, 6 May 2011 diff hist +45‎ Template:User Manual Index ‎No edit summary
• 15:0915:09, 6 May 2011 diff hist +2‎ Using the Command-Line Version of ProB ‎ →‎Preferences
• 15:0715:07, 6 May 2011 diff hist +167‎ Using the Command-Line Version of ProB ‎ →‎-properties
• 15:0515:05, 6 May 2011 diff hist +89‎ Using the Command-Line Version of ProB ‎ →‎-assertions
• 15:0315:03, 6 May 2011 diff hist +88‎ Using the Command-Line Version of ProB ‎No edit summary
• 14:3814:38, 6 May 2011 diff hist +567‎ Using the Command-Line Version of ProB ‎No edit summary
• 14:2114:21, 6 May 2011 diff hist +188‎ Using the Command-Line Version of ProB ‎ →‎Options
• 14:1814:18, 6 May 2011 diff hist +255‎ Using the Command-Line Version of ProB ‎No edit summary

24 March 2011

• 12:5412:54, 24 March 2011 diff hist −1‎ Current Limitations ‎No edit summary
• 12:5412:54, 24 March 2011 diff hist +58‎ Current Limitations ‎No edit summary

17 March 2011

• 12:1012:10, 17 March 2011 diff hist −667‎ Download ‎ →‎Latest Release
• 12:0912:09, 17 March 2011 diff hist −543‎ Download ‎ →‎Latest Release
• 12:0712:07, 17 March 2011 diff hist −550‎ Download ‎ →‎Latest Release

10 March 2011

• 14:4014:40, 10 March 2011 diff hist −58‎ Download ‎ →‎Tcl/Tk
• 13:5313:53, 10 March 2011 diff hist +146‎ Download ‎ →‎tcl/tk

2 March 2011

• 13:5813:58, 2 March 2011 diff hist −41‎ Tutorial Model Checking, Proof and CBC ‎ →‎How to correct problems found
• 13:5513:55, 2 March 2011 diff hist +692‎ Tutorial Model Checking, Proof and CBC ‎No edit summary
• 09:5709:57, 2 March 2011 diff hist −8‎ Template:User Manual Index ‎No edit summary
• 09:5609:56, 2 March 2011 diff hist +44‎ Template:User Manual Index ‎No edit summary
• 09:5509:55, 2 March 2011 diff hist +46‎ User Manual ‎ →‎Content of this handbook
• 08:3608:36, 2 March 2011 diff hist +250‎ Tips: Writing Models for ProB ‎No edit summary
• 08:3508:35, 2 March 2011 diff hist +1,250‎ Tips: Writing Models for ProB ‎No edit summary
• 08:2208:22, 2 March 2011 diff hist +258‎ N Tips: Writing Models for ProB ‎ Created page with 'Category:User Manual * Try to put complicated properties into ASSERTIONS rather than PROPERTIES. Something like <tt>!s.(s<:S => P)</tt> will have to check <tt>P</tt> for all…'
• 08:1808:18, 2 March 2011 diff hist +7‎ Current Limitations ‎No edit summary

1 March 2011

• 16:0416:04, 1 March 2011 diff hist +22‎ Tutorial ‎No edit summary
• 16:0316:03, 1 March 2011 diff hist 0‎ File:ProBModelCheckNoCounterExampleFound.png ‎ uploaded a new version of "File:ProBModelCheckNoCounterExampleFound.png" current
• 16:0316:03, 1 March 2011 diff hist 0‎ File:DoubleCounterStatespace.png ‎ uploaded a new version of "File:DoubleCounterStatespace.png" current
• 16:0216:02, 1 March 2011 diff hist 0‎ File:DoubleCounterStatespace2.png ‎ uploaded a new version of "File:DoubleCounterStatespace2.png" current
• 16:0016:00, 1 March 2011 diff hist +52‎ Tutorial Model Checking, Proof and CBC ‎ →‎Constraint Based Checking (CBC) for the Invariant
• 15:5915:59, 1 March 2011 diff hist +164‎ Tutorial Model Checking, Proof and CBC ‎ →‎Constraint Based Checking (CBC) for the Invariant
• 13:2413:24, 1 March 2011 diff hist +14‎ Tutorial Model Checking, Proof and CBC ‎No edit summary
• 13:2313:23, 1 March 2011 diff hist 0‎ N File:ClicknProveDoubleCounter.png ‎No edit summary
• 13:2213:22, 1 March 2011 diff hist +201‎ Tutorial Model Checking, Proof and CBC ‎No edit summary
• 13:0913:09, 1 March 2011 diff hist +72‎ Tutorial Complete Model Checking ‎No edit summary
• 13:0713:07, 1 March 2011 diff hist +107‎ Tutorial Model Checking, Proof and CBC ‎No edit summary
• 13:0513:05, 1 March 2011 diff hist 0‎ N File:DoubleCounterStatespace2.png ‎No edit summary
• 13:0513:05, 1 March 2011 diff hist +779‎ Tutorial Model Checking, Proof and CBC ‎No edit summary
• 12:5912:59, 1 March 2011 diff hist +22‎ Tutorial Model Checking, Proof and CBC ‎ →‎Constraint Based Checking (CBC) for the Invariant
• 12:5812:58, 1 March 2011 diff hist +333‎ Tutorial Model Checking, Proof and CBC ‎ →‎Constraint Based Checking (CBC) for the Invariant
• 12:5312:53, 1 March 2011 diff hist +366‎ Tutorial Model Checking, Proof and CBC ‎No edit summary
• 12:4912:49, 1 March 2011 diff hist 0‎ N File:DoubleCounterCBCCommand.png ‎No edit summary current
• 12:4912:49, 1 March 2011 diff hist +1,134‎ Tutorial Model Checking, Proof and CBC ‎No edit summary
• 12:3912:39, 1 March 2011 diff hist 0‎ File:CBCDoubleCounter2.png ‎ uploaded a new version of "File:CBCDoubleCounter2.png" current
• 12:3712:37, 1 March 2011 diff hist 0‎ N File:CBCDoubleCounter2.png ‎No edit summary
• 12:3712:37, 1 March 2011 diff hist +4‎ Tutorial Model Checking, Proof and CBC ‎ →‎Constraint Based Checking (CBC) for the Invariant
• 12:3612:36, 1 March 2011 diff hist 0‎ N File:CBCDoubleCounter1.png ‎No edit summary current
• 12:3612:36, 1 March 2011 diff hist 0‎ N File:DoubleCounterStatespace.png ‎No edit summary
• 12:3612:36, 1 March 2011 diff hist +271‎ Tutorial Model Checking, Proof and CBC ‎No edit summary
• 12:3412:34, 1 March 2011 diff hist +305‎ Tutorial Model Checking, Proof and CBC ‎No edit summary
• 11:0111:01, 1 March 2011 diff hist +432‎ Tutorial Model Checking, Proof and CBC ‎No edit summary
• 10:1310:13, 1 March 2011 diff hist +72‎ N Tutorial Model Checking, Proof and CBC ‎ Created page with ' We assume that you have completed Tutorial Complete Model Checking.'
• 10:1310:13, 1 March 2011 diff hist −1‎ Tutorial Complete Model Checking ‎ →‎Model Checking and Proof
• 10:1210:12, 1 March 2011 diff hist +1,155‎ Tutorial Complete Model Checking ‎No edit summary
• 10:1210:12, 1 March 2011 diff hist +76‎ Tutorial ‎No edit summary
• 09:4509:45, 1 March 2011 diff hist +526‎ Tutorial Complete Model Checking ‎No edit summary
• 09:4109:41, 1 March 2011 diff hist 0‎ N File:ProBModelCheckNoCounterExampleFound Unbounded.png ‎No edit summary
• 09:4109:41, 1 March 2011 diff hist −1‎ Tutorial Complete Model Checking ‎No edit summary
• 09:3709:37, 1 March 2011 diff hist +44‎ Tutorial Complete Model Checking ‎No edit summary
• 09:0309:03, 1 March 2011 diff hist 0‎ N File:ProBSimpleCountDefSet InvViol.png ‎No edit summary
• 09:0309:03, 1 March 2011 diff hist 0‎ N File:ProBSimpleCountDefSet BeforeInit.png ‎No edit summary
• 09:0309:03, 1 March 2011 diff hist +1,061‎ Tutorial Complete Model Checking ‎No edit summary
• 08:5308:53, 1 March 2011 diff hist +46‎ Tutorial Complete Model Checking ‎No edit summary
• 08:5208:52, 1 March 2011 diff hist 0‎ N File:ProBModelCheckNoCounterExampleFoundTrans.png ‎No edit summary current
• 08:5108:51, 1 March 2011 diff hist 0‎ N File:ProBSimpleCounterForMC Max.png ‎No edit summary
• 08:5108:51, 1 March 2011 diff hist 0‎ N File:ProBSimpleCounterForMC InvViol.png ‎No edit summary
• 08:5108:51, 1 March 2011 diff hist +1,819‎ Tutorial Complete Model Checking ‎No edit summary
• 08:3508:35, 1 March 2011 diff hist 0‎ N File:ProBModelCheckNoCounterExampleFound.png ‎No edit summary
• 08:3508:35, 1 March 2011 diff hist +1,392‎ N Tutorial Complete Model Checking ‎ Created page with 'Category:User Manual We assume that you have completed Tutorial First Model Checking. There we have seen how to find invariant violations using the model checker. In t…'
• 08:2608:26, 1 March 2011 diff hist +63‎ Tutorial ‎No edit summary

10 February 2011

• 18:1518:15, 10 February 2011 diff hist +42‎ The ProB Animator and Model Checker ‎No edit summary
• 18:1318:13, 10 February 2011 diff hist +92‎ The ProB Animator and Model Checker ‎No edit summary
• 18:1018:10, 10 February 2011 diff hist +378‎ The ProB Animator and Model Checker ‎No edit summary
• 17:0117:01, 10 February 2011 diff hist +204‎ Download ‎ →‎tcl/tk
• 17:0017:00, 10 February 2011 diff hist +1‎ Download ‎ →‎Latest Release
• 16:1716:17, 10 February 2011 diff hist −6‎ The ProB Animator and Model Checker ‎No edit summary
• 16:1616:16, 10 February 2011 diff hist +170‎ The ProB Animator and Model Checker ‎No edit summary
• 13:3513:35, 10 February 2011 diff hist 0‎ Download ‎ →‎Latest Release
• 13:3413:34, 10 February 2011 diff hist +1,264‎ Download ‎ →‎Latest Release

1 February 2011

• 15:0115:01, 1 February 2011 diff hist +145‎ Getting Involved ‎ →‎The Prolog Sources

26 October 2010

• 07:3407:34, 26 October 2010 diff hist −1‎ SiemensComplicatedProp ‎No edit summary current
• 07:3407:34, 26 October 2010 diff hist +517‎ SiemensComplicatedProp ‎No edit summary

25 October 2010

• 13:0313:03, 25 October 2010 diff hist −4‎ SiemensComplicatedProp ‎No edit summary
• 13:0213:02, 25 October 2010 diff hist −12‎ SiemensComplicatedProp ‎No edit summary
• 13:0213:02, 25 October 2010 diff hist −4‎ SiemensComplicatedProp ‎No edit summary
• 13:0113:01, 25 October 2010 diff hist −4‎ SiemensComplicatedProp ‎No edit summary
• 12:5912:59, 25 October 2010 diff hist +6‎ SiemensComplicatedProp ‎No edit summary
• 12:5812:58, 25 October 2010 diff hist 0‎ N File:GraphicalViewerSiemensSaoPauloL9.png ‎No edit summary
• 12:5812:58, 25 October 2010 diff hist +94‎ SiemensComplicatedProp ‎No edit summary
• 12:5612:56, 25 October 2010 diff hist 0‎ N File:GraphicalViewerSiemensSaoPauloL9.pdf ‎No edit summary current
• 12:5612:56, 25 October 2010 diff hist +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 =…'
• 12:5212:52, 25 October 2010 diff hist +93‎ User Manual ‎No edit summary

11 October 2010

• 08:2808:28, 11 October 2010 diff hist +172‎ Tutorial CSP First Step ‎ →‎Other Features
• 06:4306:43, 11 October 2010 diff hist +105‎ Tutorial CSP First Step ‎ →‎Other Features
• 06:4106:41, 11 October 2010 diff hist 0‎ Tutorial CSP First Step ‎ →‎Other Features
• 06:4006:40, 11 October 2010 diff hist 0‎ N File:ProB CSPBusStatespace.png ‎No edit summary
• 06:4006:40, 11 October 2010 diff hist +168‎ Tutorial CSP First Step ‎No edit summary

10 October 2010

• 19:3819:38, 10 October 2010 diff hist 0‎ N File:ProB CSPAfterBoardSingleClick.png ‎No edit summary
• 19:3819:38, 10 October 2010 diff hist +382‎ Tutorial CSP First Step ‎ →‎First Steps in Animation
• 19:3519:35, 10 October 2010 diff hist +20‎ Tutorial CSP First Step ‎ →‎First Steps in Animation
• 19:2919:29, 10 October 2010 diff hist 0‎ Tutorial CSP First Step ‎ →‎Error Highlighting
• 19:2819:28, 10 October 2010 diff hist +70‎ Tutorial CSP First Step ‎No edit summary
• 19:2719:27, 10 October 2010 diff hist +15‎ Tutorial CSP First Step ‎ →‎Error Highlighting
• 19:2619:26, 10 October 2010 diff hist +50‎ Tutorial CSP First Step ‎ →‎Error Highlighting
• 19:2519:25, 10 October 2010 diff hist 0‎ N File:ProB CSPAfterModelCheck2.png ‎No edit summary
• 19:2519:25, 10 October 2010 diff hist +672‎ Tutorial CSP First Step ‎No edit summary
• 19:1919:19, 10 October 2010 diff hist +52‎ Tutorial CSP First Step ‎No edit summary
• 19:1819:18, 10 October 2010 diff hist +246‎ Tutorial CSP First Step ‎No edit summary
• 19:1619:16, 10 October 2010 diff hist 0‎ Tutorial CSP First Step ‎No edit summary
• 19:1519:15, 10 October 2010 diff hist 0‎ N File:ProB CSPAfterModelCheck.png ‎No edit summary
• 19:1519:15, 10 October 2010 diff hist 0‎ N File:ProB CSPModelCheck.png ‎No edit summary
• 19:1419:14, 10 October 2010 diff hist +825‎ Tutorial CSP First Step ‎No edit summary
• 19:0819:08, 10 October 2010 diff hist 0‎ File:ProB CSPAfterTauSingleClick.png ‎ uploaded a new version of "File:ProB CSPAfterTauSingleClick.png"
• 19:0519:05, 10 October 2010 diff hist 0‎ N File:ProB CSPAfterTauSingleClick.png ‎No edit summary
• 19:0519:05, 10 October 2010 diff hist +611‎ Tutorial CSP First Step ‎No edit summary
• 19:0119:01, 10 October 2010 diff hist 0‎ File:ProB CSPAfterInit.png ‎ uploaded a new version of "File:ProB CSPAfterInit.png"
• 19:0019:00, 10 October 2010 diff hist 0‎ File:ProB CSPAfterInit.png ‎ uploaded a new version of "File:ProB CSPAfterInit.png"
• 19:0019:00, 10 October 2010 diff hist 0‎ N File:ProB CSPAfterInit.png ‎No edit summary
• 18:5818:58, 10 October 2010 diff hist 0‎ N File:ProB BusesAfterLoad.png ‎No edit summary
• 18:5818:58, 10 October 2010 diff hist +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…'
• 18:5218:52, 10 October 2010 diff hist +142‎ Tutorial ‎No edit summary

4 October 2010

• 14:5014:50, 4 October 2010 diff hist +100‎ TrainSwitchingPuzzle ‎No edit summary current
• 05:4705:47, 4 October 2010 diff hist +40‎ TrainSwitchingPuzzle ‎No edit summary
• 05:4505:45, 4 October 2010 diff hist +66‎ TrainSwitchingPuzzle ‎No edit summary
• 05:4405:44, 4 October 2010 diff hist +104‎ TrainSwitchingPuzzle ‎No edit summary
• 05:2405:24, 4 October 2010 diff hist +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 …'

3 October 2010

• 16:4716:47, 3 October 2010 diff hist +49‎ User Manual ‎No edit summary

8 August 2010

• 15:2415:24, 8 August 2010 diff hist −5‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB

30 July 2010

• 14:3914:39, 30 July 2010 diff hist +30‎ Download ‎ →‎Latest Release
• 14:3814:38, 30 July 2010 diff hist 0‎ Download ‎ →‎Latest Release
• 14:3314:33, 30 July 2010 diff hist +184‎ The ProB Animator and Model Checker ‎No edit summary
• 14:2914:29, 30 July 2010 diff hist +2‎ Download ‎ →‎Latest Release
• 14:2414:24, 30 July 2010 diff hist 0‎ Download ‎ →‎Latest Release
• 14:1014:10, 30 July 2010 diff hist −14‎ Download ‎ →‎Latest Release
• 13:1813:18, 30 July 2010 diff hist 0‎ Download ‎ →‎Latest Release

29 July 2010

• 05:3105:31, 29 July 2010 diff hist +378‎ Tutorial Rodin Parameters ‎ →‎Size of unspecified sets
• 05:2005:20, 29 July 2010 diff hist −7‎ Tutorial Rodin Parameters ‎ →‎Preferences
• 05:2005:20, 29 July 2010 diff hist 0‎ N File:RodinPrefs.png ‎No edit summary
• 05:2005:20, 29 July 2010 diff hist +358‎ Tutorial Rodin Parameters ‎No edit summary

28 July 2010

• 11:2011:20, 28 July 2010 diff hist −1‎ Tutorial Rodin Parameters ‎ →‎Size of unspecified sets
• 11:2011:20, 28 July 2010 diff hist 0‎ N File:ProBRodinPrefs.png ‎No edit summary
• 11:1911:19, 28 July 2010 diff hist +1,417‎ N Tutorial Rodin Parameters ‎ Created page with 'Category:User Manual == Preferences == You can modify the ProB preferences by selecting the ProB pane inside the Rodin preferences. We explain the most important preferenc…'
• 11:0111:01, 28 July 2010 diff hist +72‎ Tutorial ‎No edit summary

27 July 2010

• 08:0108:01, 27 July 2010 diff hist +113‎ Tutorial ‎No edit summary
• 07:5507:55, 27 July 2010 diff hist +28‎ Tutorial Rodin First Step ‎No edit summary
• 07:5407:54, 27 July 2010 diff hist 0‎ N File:ProBRodinAfterOpChoose.png ‎No edit summary
• 07:5407:54, 27 July 2010 diff hist +41‎ Tutorial Rodin First Step ‎No edit summary
• 07:5207:52, 27 July 2010 diff hist 0‎ N File:ProBRodinOpChoose.png ‎No edit summary
• 07:5207:52, 27 July 2010 diff hist 0‎ N File:ProBRodinInit.png ‎No edit summary
• 07:5107:51, 27 July 2010 diff hist 0‎ N File:ProBRodinStart.png ‎No edit summary
• 07:5107:51, 27 July 2010 diff hist +1,135‎ N Tutorial Rodin First Step ‎ Created page with 'Category:User Manual == Installation == Start off by installing the ProB Plugin for Rodin by choosing "Install new software...". == Starting ProB == Start by right click…'
• 07:4507:45, 27 July 2010 diff hist +150‎ Tutorial ‎No edit summary

26 July 2010

• 20:1320:13, 26 July 2010 diff hist +9‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 20:1120:11, 26 July 2010 diff hist +22‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Undecidability

8 July 2010

• 13:4013:40, 8 July 2010 diff hist +40‎ The ProB Animator and Model Checker ‎No edit summary
• 13:3913:39, 8 July 2010 diff hist +6‎ The ProB Animator and Model Checker ‎No edit summary
• 13:3913:39, 8 July 2010 diff hist −6‎ The ProB Animator and Model Checker ‎No edit summary

1 July 2010

• 13:1013:10, 1 July 2010 diff hist 0‎ Download ‎ →‎Latest Release

15 June 2010

• 11:1511:15, 15 June 2010 diff hist +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…'
• 11:1311:13, 15 June 2010 diff hist +53‎ The ProB Animator and Model Checker ‎No edit summary

10 June 2010

• 14:1214:12, 10 June 2010 diff hist 0‎ Download ‎ →‎Latest Release

2 June 2010

• 09:5809:58, 2 June 2010 diff hist −1‎ Tutorial Setup Phases ‎ →‎1. Loading
• 09:5709:57, 2 June 2010 diff hist +1‎ Tutorial Setup Phases ‎ →‎1. Loading

12 April 2010

• 11:3811:38, 12 April 2010 diff hist +130‎ Why Prolog? ‎ →‎A small benchmark
• 11:3611:36, 12 April 2010 diff hist +107‎ Why Prolog? ‎ →‎Why SICStus Prolog
• 11:2611:26, 12 April 2010 diff hist +139‎ Why Prolog? ‎ →‎Why Prolog
• 09:1809:18, 12 April 2010 diff hist 0‎ Why Prolog? ‎ →‎Why Prolog

1 April 2010

• 09:2309:23, 1 April 2010 diff hist +118‎ Download ‎ →‎Latest Release
• 07:5407:54, 1 April 2010 diff hist 0‎ Download ‎ →‎Latest Release

30 March 2010

• 15:0515:05, 30 March 2010 diff hist 0‎ Download ‎ →‎Latest Release

24 March 2010

• 12:0912:09, 24 March 2010 diff hist +126‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 12:0412:04, 24 March 2010 diff hist +245‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 11:5611:56, 24 March 2010 diff hist +17‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Undecidability

22 March 2010

• 09:0009:00, 22 March 2010 diff hist 0‎ Download ‎ →‎Latest Release

18 March 2010

• 16:4016:40, 18 March 2010 diff hist 0‎ Download ‎ →‎Latest Release

16 March 2010

• 16:0216:02, 16 March 2010 diff hist 0‎ Download ‎ →‎Latest Release
• 15:3215:32, 16 March 2010 diff hist +15‎ Download ‎ →‎Latest Release
• 15:3115:31, 16 March 2010 diff hist 0‎ Download ‎ →‎Latest Release
• 15:2915:29, 16 March 2010 diff hist 0‎ Download ‎ →‎Latest Release

12 March 2010

• 17:3317:33, 12 March 2010 diff hist +75‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB

3 March 2010

• 15:1315:13, 3 March 2010 diff hist 0‎ Download ‎ →‎Latest Release
• 14:5714:57, 3 March 2010 diff hist −3‎ Download ‎ →‎Latest Release

25 February 2010

• 15:3615:36, 25 February 2010 diff hist +149‎ Other languages ‎No edit summary
• 15:3315:33, 25 February 2010 diff hist −11‎ Other languages ‎No edit summary

19 February 2010

• 12:3212:32, 19 February 2010 diff hist +6‎ Download ‎ →‎Latest Release
• 12:3212:32, 19 February 2010 diff hist 0‎ Download ‎ →‎Latest Release
• 12:3212:32, 19 February 2010 diff hist +89‎ Download ‎ →‎Latest Release
• 10:0810:08, 19 February 2010 diff hist +2‎ Download ‎ →‎Latest Release
• 10:0810:08, 19 February 2010 diff hist 0‎ Download ‎ →‎Latest Release
• 09:1209:12, 19 February 2010 diff hist +11‎ Download ‎ →‎Latest Release
• 09:1109:11, 19 February 2010 diff hist 0‎ Download ‎ →‎Latest Release

11 February 2010

• 18:3318:33, 11 February 2010 diff hist 0‎ Links ‎No edit summary
• 18:3318:33, 11 February 2010 diff hist +13‎ Links ‎ →‎Miscellaneous
• 18:3218:32, 11 February 2010 diff hist +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…'
• 12:2912:29, 11 February 2010 diff hist +51‎ Download ‎ →‎Latest Release
• 12:2912:29, 11 February 2010 diff hist +51‎ Download ‎ →‎Latest Release
• 12:2712:27, 11 February 2010 diff hist +1‎ Download ‎ →‎Latest Release
• 12:2712:27, 11 February 2010 diff hist +505‎ Download ‎ →‎Latest Release
• 10:4710:47, 11 February 2010 diff hist +1‎ Download ‎ →‎Latest Release
• 10:4110:41, 11 February 2010 diff hist +643‎ Download ‎ →‎Latest Release
• 10:3210:32, 11 February 2010 diff hist −2‎ Download ‎ →‎Latest Release
• 10:3210:32, 11 February 2010 diff hist +3‎ Download ‎No edit summary
• 10:0210:02, 11 February 2010 diff hist +225‎ The ProB Animator and Model Checker ‎No edit summary

26 January 2010

• 11:0611:06, 26 January 2010 diff hist +58‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Adding universally quantified formulas
• 11:0411:04, 26 January 2010 diff hist 0‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Complicating the Example

22 January 2010

• 15:0415:04, 22 January 2010 diff hist +172‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Complicating the Example

20 January 2010

• 09:3009:30, 20 January 2010 diff hist +334‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Adding universally quantified formulas

19 January 2010

• 16:1816:18, 19 January 2010 diff hist −1‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
• 16:1816:18, 19 January 2010 diff hist −1‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
• 16:1816:18, 19 January 2010 diff hist −28‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
• 16:1716:17, 19 January 2010 diff hist +55‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
• 16:1516:15, 19 January 2010 diff hist +404‎ Using the Command-Line Version of ProB ‎No edit summary
• 16:0916:09, 19 January 2010 diff hist +3‎ Using the Command-Line Version of ProB ‎ →‎probcli Basics
• 16:0816:08, 19 January 2010 diff hist +3,645‎ Using the Command-Line Version of ProB ‎ →‎probcli Basics
• 16:0716:07, 19 January 2010 diff hist +1,240‎ N Using the Command-Line Version of ProB ‎ Created page with 'Category:Tutorial Category:User Manual The command-line version of ProB offers many of the feature of the standalone Tcl/Tk Version, but via the command-line. As such, y…'
• 15:5815:58, 19 January 2010 diff hist +46‎ Tutorial ‎No edit summary
• 15:1515:15, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoad4.png ‎No edit summary current
• 15:1515:15, 19 January 2010 diff hist +1,186‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 15:0415:04, 19 January 2010 diff hist +1‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 15:0415:04, 19 January 2010 diff hist +275‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 15:0115:01, 19 January 2010 diff hist +150‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 15:0015:00, 19 January 2010 diff hist +433‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Complicating the Example
• 14:5314:53, 19 January 2010 diff hist +49‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 14:5314:53, 19 January 2010 diff hist +97‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 14:5114:51, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoadMsg3.png ‎No edit summary current
• 14:5114:51, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoadDebug3.png ‎No edit summary current
• 14:5114:51, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoad3.png ‎No edit summary current
• 14:5114:51, 19 January 2010 diff hist +724‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Complicating the Example
• 14:4414:44, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoad2.png ‎No edit summary current
• 14:4414:44, 19 January 2010 diff hist +1,467‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 14:3114:31, 19 January 2010 diff hist 0‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 14:3114:31, 19 January 2010 diff hist +12‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 14:3014:30, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoad.png ‎No edit summary current
• 14:3014:30, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterInit.png ‎No edit summary current
• 14:3014:30, 19 January 2010 diff hist +2,373‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 14:0114:01, 19 January 2010 diff hist +451‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 13:5513:55, 19 January 2010 diff hist +81‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 13:5413:54, 19 January 2010 diff hist 0‎ N File:ProB Propagation.png ‎No edit summary current
• 13:5313:53, 19 January 2010 diff hist 0‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 13:5313:53, 19 January 2010 diff hist 0‎ N File:ProB Propagation.pdf ‎No edit summary current
• 13:5313:53, 19 January 2010 diff hist +101‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 13:5213:52, 19 January 2010 diff hist +559‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 13:4813:48, 19 January 2010 diff hist +1,274‎ N Tutorial Understanding ProB's Constraint Solver ‎ Created page with 'Category:Tutorial We assume that you grasped the way that ProB setups up the initial states of a B machine as outlined in Tutorial Setup Phases, and have understood why…'
• 13:3713:37, 19 January 2010 diff hist +54‎ Tutorial ‎No edit summary
• 13:3613:36, 19 January 2010 diff hist +220‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 13:3413:34, 19 January 2010 diff hist +33‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 13:1713:17, 19 January 2010 diff hist +402‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 13:1413:14, 19 January 2010 diff hist +35‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 13:1213:12, 19 January 2010 diff hist +152‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 13:0713:07, 19 January 2010 diff hist +28‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 12:5712:57, 19 January 2010 diff hist +461‎ Tutorial Understanding the Complexity of B Animation ‎No edit summary
• 10:5210:52, 19 January 2010 diff hist +21‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 10:5110:51, 19 January 2010 diff hist +50‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 10:5010:50, 19 January 2010 diff hist +188‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 10:4810:48, 19 January 2010 diff hist 0‎ Tutorial Understanding the Complexity of B Animation ‎No edit summary
• 10:4710:47, 19 January 2010 diff hist +128‎ Tutorial Understanding the Complexity of B Animation ‎No edit summary
• 10:4510:45, 19 January 2010 diff hist +280‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 10:3710:37, 19 January 2010 diff hist +594‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 10:3110:31, 19 January 2010 diff hist +232‎ Tutorial Understanding the Complexity of B Animation ‎No edit summary
• 10:2710:27, 19 January 2010 diff hist +1,003‎ Tutorial Understanding the Complexity of B Animation ‎No edit summary
• 10:1910:19, 19 January 2010 diff hist 0‎ N File:ProB GoldbachAfterInit.png ‎No edit summary current
• 10:1910:19, 19 January 2010 diff hist +491‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Undecidability
• 10:1310:13, 19 January 2010 diff hist +1,268‎ N Tutorial Understanding the Complexity of B Animation ‎ Created page with 'Category:Tutorial We assume that you grasped the way that ProB setups up the initial states of a B machine as outlined in Tutorial Setup Phases. In this lesson, we exa…'
• 09:5809:58, 19 January 2010 diff hist −3‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 09:5809:58, 19 January 2010 diff hist +123‎ Tutorial ‎No edit summary
• 08:4908:49, 19 January 2010 diff hist +85‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 08:4808:48, 19 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyOperationPRE.png ‎No edit summary current
• 08:4808:48, 19 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyOperationPRE3.png ‎No edit summary current
• 08:4808:48, 19 January 2010 diff hist +1,061‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 08:3708:37, 19 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyCustom3.png ‎No edit summary current
• 08:3608:36, 19 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyCustomCommand.png ‎No edit summary current
• 08:3608:36, 19 January 2010 diff hist −57‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 08:3508:35, 19 January 2010 diff hist +978‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 08:2808:28, 19 January 2010 diff hist +18‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 08:2608:26, 19 January 2010 diff hist 0‎ N File:ProB JukeboxAfterInit3.png ‎No edit summary current
• 08:2608:26, 19 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyUnsatProp2.png ‎No edit summary current
• 08:2608:26, 19 January 2010 diff hist 0‎ File:ProB Jukebox AnalyseGraphicallyUnsatAssertion3.png ‎ uploaded a new version of "File:ProB Jukebox AnalyseGraphicallyUnsatAssertion3.png" current
• 08:2508:25, 19 January 2010 diff hist 0‎ N File:ProB Jukebox DebugUnsatProp2.png ‎No edit summary current
• 08:2508:25, 19 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyUnsatAssertion3.png ‎No edit summary
• 08:2408:24, 19 January 2010 diff hist +1,638‎ Tutorial Troubleshooting the Setup ‎No edit summary

18 January 2010

• 16:5516:55, 18 January 2010 diff hist +87‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 16:5416:54, 18 January 2010 diff hist 0‎ N File:ProB JukeboxAfterLoad2.png ‎No edit summary current
• 16:5416:54, 18 January 2010 diff hist +590‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 16:4716:47, 18 January 2010 diff hist −28‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 16:4716:47, 18 January 2010 diff hist 0‎ N File:ProB Jukebox UnsatProp.png ‎No edit summary current
• 16:4616:46, 18 January 2010 diff hist 0‎ N File:ProB Jukebox DebugUnsatProp.png ‎No edit summary current
• 16:4616:46, 18 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyCommand.png ‎No edit summary current
• 16:4616:46, 18 January 2010 diff hist 0‎ N File:ProB Jukebox AnalyseGraphicallyUnsatProp.png ‎No edit summary current
• 16:4616:46, 18 January 2010 diff hist +983‎ Tutorial Troubleshooting the Setup ‎No edit summary
• 16:3816:38, 18 January 2010 diff hist +689‎ N Tutorial Troubleshooting the Setup ‎ Created page with 'Category:User Manual We assume that you grasped the way that ProB setups up the initial states of a B machine as outlined in Tutorial Setup Phases. In this lesson, we …'
• 16:3616:36, 18 January 2010 diff hist +41‎ Tutorial ‎No edit summary
• 16:3116:31, 18 January 2010 diff hist +23‎ Tutorial Setup Phases ‎ →‎3. INITIALISATION
• 16:3016:30, 18 January 2010 diff hist +31‎ Tutorial Setup Phases ‎ →‎1. Loading
• 16:2916:29, 18 January 2010 diff hist +266‎ Tutorial Setup Phases ‎No edit summary
• 16:2616:26, 18 January 2010 diff hist 0‎ N File:ProB Jukebox Statespace.png ‎No edit summary current
• 16:2616:26, 18 January 2010 diff hist 0‎ N File:ProB JukeboxReopenCommand.png ‎No edit summary current
• 16:2616:26, 18 January 2010 diff hist 0‎ N File:ProB Jukebox StatespaceFull.png ‎No edit summary current
• 16:2516:25, 18 January 2010 diff hist +944‎ Tutorial Setup Phases ‎No edit summary
• 16:1616:16, 18 January 2010 diff hist +530‎ Tutorial Setup Phases ‎ →‎3. INITIALISATION
• 16:1316:13, 18 January 2010 diff hist +491‎ Tutorial Setup Phases ‎ →‎2. SETUP_CONSTANTS
• 16:0916:09, 18 January 2010 diff hist 0‎ N File:ProB JukeboxAfterINITIALISATION.png ‎No edit summary current
• 16:0916:09, 18 January 2010 diff hist 0‎ N File:ProB JukeboxAfterSETUPCONSTANTS.png ‎No edit summary current
• 16:0916:09, 18 January 2010 diff hist +122‎ Tutorial Setup Phases ‎No edit summary
• 16:0416:04, 18 January 2010 diff hist +130‎ Tutorial Setup Phases ‎No edit summary
• 16:0316:03, 18 January 2010 diff hist +1,638‎ Tutorial Setup Phases ‎No edit summary
• 15:5315:53, 18 January 2010 diff hist 0‎ N File:ProB AnimationPhases.png ‎No edit summary current
• 15:5215:52, 18 January 2010 diff hist 0‎ N File:ProB JukeboxAfterLoad.png ‎No edit summary current
• 15:5215:52, 18 January 2010 diff hist +986‎ N Tutorial Setup Phases ‎ Created page with 'Category:User Manual We assume that you grasped the first steps of opening and animating a B machine as outlined in [[Tutorial First Steps]. In this lesson, we examine mor…'
• 15:4415:44, 18 January 2010 diff hist +64‎ Tutorial ‎No edit summary
• 15:1415:14, 18 January 2010 diff hist +120‎ Tutorial First Model Checking ‎ →‎View Statespace
• 15:1315:13, 18 January 2010 diff hist +32‎ Template:User Manual Index ‎No edit summary
• 15:1015:10, 18 January 2010 diff hist +410‎ Tutorial ‎No edit summary
• 15:0515:05, 18 January 2010 diff hist +1‎ Tutorial First Model Checking ‎ →‎View Statespace
• 15:0415:04, 18 January 2010 diff hist +126‎ Tutorial First Model Checking ‎ →‎Simple Model Checking
• 15:0315:03, 18 January 2010 diff hist 0‎ N File:ProB GraphicalViewerPreferences Shapes.png ‎No edit summary current
• 15:0315:03, 18 January 2010 diff hist +60‎ Tutorial First Model Checking ‎No edit summary
• 15:0215:02, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterModelCheck Statespace.png ‎No edit summary current
• 15:0215:02, 18 January 2010 diff hist +784‎ Tutorial First Model Checking ‎No edit summary
• 14:5614:56, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterModelCheck Coverage.png ‎No edit summary current
• 14:5614:56, 18 January 2010 diff hist +1,701‎ Tutorial First Model Checking ‎No edit summary
• 14:3714:37, 18 January 2010 diff hist 0‎ N File:ProBWinModelCheckCommand.png ‎No edit summary current
• 14:3714:37, 18 January 2010 diff hist 0‎ N File:ProBWinModelCheckDialog.png ‎No edit summary current
• 14:3714:37, 18 January 2010 diff hist 0‎ N File:ProBWinModelCheckCounterExampleFound.png ‎No edit summary current
• 14:3714:37, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterModelCheck.png ‎No edit summary current
• 14:3714:37, 18 January 2010 diff hist +901‎ N Tutorial First Model Checking ‎ Created page with 'Category:User Manual We assume that you have loaded the "Lift.mch" B machine from the ProB Examples folder, as outlined in [[Tutorial First Steps]. There we have also seen …'
• 14:3114:31, 18 January 2010 diff hist +106‎ Tutorial ‎No edit summary
• 14:2514:25, 18 January 2010 diff hist +21‎ Tutorial First Step ‎ →‎First Steps in Animation
• 14:2314:23, 18 January 2010 diff hist 0‎ File:ProB LiftAfterDecBack.png ‎ uploaded a new version of "File:ProB LiftAfterDecBack.png" current
• 14:2314:23, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterDec.png ‎No edit summary current
• 14:2314:23, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterDecBack.png ‎No edit summary
• 14:2214:22, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterInitInvariant.png ‎No edit summary current
• 14:2214:22, 18 January 2010 diff hist +1,611‎ Tutorial First Step ‎ →‎First Steps in Animation
• 14:1214:12, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterInit.png ‎No edit summary current
• 14:1114:11, 18 January 2010 diff hist +1,280‎ Tutorial First Step ‎No edit summary
• 14:0114:01, 18 January 2010 diff hist +6‎ Tutorial First Step ‎ →‎Loading a first B machine
• 14:0114:01, 18 January 2010 diff hist 0‎ N File:ProB LiftAfterLoad.png ‎No edit summary current
• 14:0014:00, 18 January 2010 diff hist 0‎ N File:ProBWinExamplesFolder.png ‎No edit summary current
• 14:0014:00, 18 January 2010 diff hist 0‎ N File:ProBWinOpen.png ‎No edit summary current
• 14:0014:00, 18 January 2010 diff hist +402‎ Tutorial First Step ‎No edit summary
• 13:5413:54, 18 January 2010 diff hist +194‎ Tutorial First Step ‎ →‎Starting ProB
• 13:5213:52, 18 January 2010 diff hist 0‎ N File:ProBWinContents.png ‎No edit summary current
• 13:5213:52, 18 January 2010 diff hist +62‎ Tutorial First Step ‎No edit summary
• 13:5013:50, 18 January 2010 diff hist 0‎ N File:ProBStartTerminal.png ‎No edit summary current
• 13:4713:47, 18 January 2010 diff hist +14‎ Tutorial First Step ‎ →‎Starting ProB
• 13:4713:47, 18 January 2010 diff hist +7‎ Tutorial First Step ‎ →‎Starting ProB
• 13:4413:44, 18 January 2010 diff hist 0‎ N File:ProBStartWindow.png ‎No edit summary current
• 13:4413:44, 18 January 2010 diff hist 0‎ Tutorial First Step ‎ →‎Starting ProB
• 13:3813:38, 18 January 2010 diff hist −1‎ Tutorial First Step ‎ →‎Starting ProB
• 13:3813:38, 18 January 2010 diff hist +711‎ N Tutorial First Step ‎ Created page with 'Category:User Manual == Installation == Start off by installing the standalone Tcl/Tk version of ProB. Follow the instructions in Installation. == Starting ProB == S…'
• 13:3113:31, 18 January 2010 diff hist +49‎ N Tutorial ‎ Created page with 'Category:Tutorial * Tutorial First Step'
• 13:2513:25, 18 January 2010 diff hist +1‎ Using ProB with Atelier B ‎ →‎Limitations
• 13:2313:23, 18 January 2010 diff hist −589‎ Using ProB with Atelier B ‎No edit summary
• 13:2113:21, 18 January 2010 diff hist +48‎ Using ProB with Atelier B ‎ →‎Limitations
• 13:1413:14, 18 January 2010 diff hist +376‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 13:1013:10, 18 January 2010 diff hist +3,082‎ N Using ProB with Atelier B ‎ Created page with ' Category:User Manual As of version 1.3, ProB contains a much improved parser which tries be compliant with Atelier B as much as possible. == Atelier B Plugin == There is…'
• 13:0413:04, 18 January 2010 diff hist +61‎ Current Limitations ‎No edit summary
• 13:0213:02, 18 January 2010 diff hist +96‎ Installation ‎ →‎Which versions are there?
• 13:0113:01, 18 January 2010 diff hist +107‎ Installation ‎No edit summary
• 12:5812:58, 18 January 2010 diff hist −12‎ Current Limitations ‎No edit summary
• 12:5812:58, 18 January 2010 diff hist +121‎ Current Limitations ‎No edit summary
• 12:5312:53, 18 January 2010 diff hist +189‎ Graphical Viewer ‎ →‎Introduction
• 12:5012:50, 18 January 2010 diff hist −11‎ Graphical Viewer ‎ →‎Setting up the Graphical Viewer
• 12:4912:49, 18 January 2010 diff hist 0‎ N File:GraphicalViewerPreferences.png ‎No edit summary current
• 12:4912:49, 18 January 2010 diff hist 0‎ N File:GraphicalViewerPreferencesMenuEntry.png ‎No edit summary current
• 12:4812:48, 18 January 2010 diff hist +24‎ Graphical Viewer ‎No edit summary
• 12:4712:47, 18 January 2010 diff hist −12‎ Installation ‎ →‎Checklist/Troubleshooting
• 12:4612:46, 18 January 2010 diff hist +80‎ Installation ‎No edit summary
• 12:2912:29, 18 January 2010 diff hist +1‎ Graphical Viewer ‎ →‎Setting up the Graphical Viewer
• 12:2812:28, 18 January 2010 diff hist 0‎ N File:GraphicalViewerSubMenu.png ‎No edit summary current
• 12:2812:28, 18 January 2010 diff hist +37‎ Graphical Viewer ‎No edit summary
• 12:2512:25, 18 January 2010 diff hist +108‎ Graphical Viewer ‎No edit summary
• 12:2112:21, 18 January 2010 diff hist +1,349‎ N Graphical Viewer ‎ Created page with ' == Introduction == ProB can generate a wide range of visualizations for your models. For this ProB generates first a textual representation of a graph in the "dot" format. This…'
• 12:1612:16, 18 January 2010 diff hist +2‎ Installation ‎No edit summary
• 12:1512:15, 18 January 2010 diff hist +277‎ Installation ‎No edit summary
• 12:0212:02, 18 January 2010 diff hist +970‎ Installation ‎No edit summary
• 11:5411:54, 18 January 2010 diff hist +7‎ Installation ‎ →‎Which version shall I use?