User contributions for Michael Leuschel

5 September 2013

• 07:2007:20, 5 September 2013 diff hist +129 Game of Life No edit summary
• 07:1807:18, 5 September 2013 diff hist +2,881 N Game of Life Created page with 'This is a simple model of Conway's Game of Life. It was written for animation with ProB. One interesting aspect is that the simulation is unbounded, i.e., not restricted to some …'
• 07:0807:08, 5 September 2013 diff hist +19 User Manual →Sample Models

30 July 2013

• 11:4711:47, 30 July 2013 diff hist +96 Rush Hour Puzzle No edit summary
• 11:4611:46, 30 July 2013 diff hist +2,317 Rush Hour Puzzle No edit summary
• 11:4511:45, 30 July 2013 diff hist 0 N File:ProB RushHour Screenshot.png No edit summary current
• 11:4511:45, 30 July 2013 diff hist +225 Rush Hour Puzzle No edit summary
• 11:4011:40, 30 July 2013 diff hist +5,434 N Rush Hour Puzzle Created page with 'This case studies tackles encoding the [http://en.wikipedia.org/wiki/Rush_Hour_(board_game) rush hour board game] in which cars are packed on a 6-by-6 grid and can either move ho…'
• 11:3811:38, 30 July 2013 diff hist +23 User Manual →Sample Models

23 July 2013

• 14:2914:29, 23 July 2013 diff hist +170 Links →Tools using ProB
• 14:2514:25, 23 July 2013 diff hist +59 Links →Tools using ProB
• 14:2114:21, 23 July 2013 diff hist +311 Links No edit summary

4 July 2013

• 11:3811:38, 4 July 2013 diff hist +61 User Manual →Sample Models

21 June 2013

• 10:0410:04, 21 June 2013 diff hist +14 Summary of B Syntax No edit summary
• 10:0410:04, 21 June 2013 diff hist +14 Using the Command-Line Version of ProB No edit summary
• 10:0310:03, 21 June 2013 diff hist +14 Tutorial No edit summary
• 10:0310:03, 21 June 2013 diff hist +15 User Manual No edit summary

6 June 2013

• 07:0407:04, 6 June 2013 diff hist +42 The ProB Animator and Model Checker No edit summary

5 June 2013

• 12:2712:27, 5 June 2013 diff hist +186 Download →Tcl/Tk

4 June 2013

• 08:0908:09, 4 June 2013 diff hist +50 Links →Miscellaneous
• 08:0908:09, 4 June 2013 diff hist +7 The ProB Animator and Model Checker No edit summary
• 08:0808:08, 4 June 2013 diff hist +51 The ProB Animator and Model Checker No edit summary

3 June 2013

• 13:0113:01, 3 June 2013 diff hist +21 The ProB Animator and Model Checker →Features
• 13:0013:00, 3 June 2013 diff hist +56 The ProB Animator and Model Checker →Features
• 12:5612:56, 3 June 2013 diff hist +91 The ProB Animator and Model Checker →Features

27 May 2013

• 07:4107:41, 27 May 2013 diff hist +37 Recursively Defined Functions No edit summary
• 07:4007:40, 27 May 2013 diff hist 0 Recursively Defined Functions →When does ProB treat a set comprehension or lambda abstraction symbolically ?
• 07:3907:39, 27 May 2013 diff hist +250 Recursively Defined Functions No edit summary
• 07:3707:37, 27 May 2013 diff hist +136 Recursively Defined Functions No edit summary
• 07:3507:35, 27 May 2013 diff hist +369 Recursively Defined Functions No edit summary

24 May 2013

• 06:1306:13, 24 May 2013 diff hist +48 Gilbreath Card Trick →A more low-level version for use with TLC
• 06:1306:13, 24 May 2013 diff hist +8 Gilbreath Card Trick →A more low-level version for use with TLC
• 05:4405:44, 24 May 2013 diff hist +1,326 Gilbreath Card Trick →A more low-level version for use with TLC

23 May 2013

• 05:4205:42, 23 May 2013 diff hist +131 Gilbreath Card Trick No edit summary
• 05:4005:40, 23 May 2013 diff hist +324 Gilbreath Card Trick No edit summary
• 05:3805:38, 23 May 2013 diff hist +2,236 Gilbreath Card Trick No edit summary

22 May 2013

• 16:3816:38, 22 May 2013 diff hist +12 Gilbreath Card Trick →Adding graphical visualization
• 16:3616:36, 22 May 2013 diff hist 0 N File:ProB Card Screenshot.png No edit summary current
• 16:3616:36, 22 May 2013 diff hist +1,205 Gilbreath Card Trick No edit summary
• 11:4711:47, 22 May 2013 diff hist +33 Gilbreath Card Trick No edit summary
• 11:4611:46, 22 May 2013 diff hist +479 Gilbreath Card Trick No edit summary
• 11:4311:43, 22 May 2013 diff hist +295 Gilbreath Card Trick No edit summary
• 11:3911:39, 22 May 2013 diff hist +349 Gilbreath Card Trick No edit summary
• 11:3511:35, 22 May 2013 diff hist +1,782 Gilbreath Card Trick No edit summary
• 11:3211:32, 22 May 2013 diff hist +2,951 N Gilbreath Card Trick Created page with 'In the Dagstuhl library I stumbled upon a nice short article by Tony Hoare and Natarajan Shankar in memory of Amir Pnueli. It unravels a card trick by Gilbreath. The card trick h…'
• 11:2311:23, 22 May 2013 diff hist +143 N ProB Examples Created page with 'We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB. * Gilbreath Card Trick'
• 11:2211:22, 22 May 2013 diff hist +80 Tutorial No edit summary

21 May 2013

• 21:3321:33, 21 May 2013 diff hist +68 Current Limitations No edit summary
• 21:3121:31, 21 May 2013 diff hist +155 Installation →What are the available versions?
• 05:3405:34, 21 May 2013 diff hist +72 Installation →Checklist/Troubleshooting