User contributions for Michael Leuschel

22 May 2013

• 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
• 05:3305:33, 21 May 2013 diff hist −50 Installation →What are the available versions?
• 05:3305:33, 21 May 2013 diff hist −50 Installation →Installation Instruction for ProB (Standalone)
• 05:3205:32, 21 May 2013 diff hist +64 Installation No edit summary
• 05:3005:30, 21 May 2013 diff hist +1 Installation →What are the available versions?
• 05:3005:30, 21 May 2013 diff hist +270 Installation →What are the available versions?
• 05:2605:26, 21 May 2013 diff hist +69 ProB Logic Calculator No edit summary

26 March 2013

• 09:4209:42, 26 March 2013 diff hist +87 Tutorial Understanding the Complexity of B Animation →Complexity of Animation current

18 March 2013

• 12:5112:51, 18 March 2013 diff hist +422 Recursively Defined Functions No edit summary
• 12:4312:43, 18 March 2013 diff hist −12 Recursively Defined Functions No edit summary

6 March 2013

• 09:5109:51, 6 March 2013 diff hist +246 The ProB Animator and Model Checker No edit summary

5 March 2013

• 10:1110:11, 5 March 2013 diff hist 0 Download →Latest Release

1 March 2013

• 17:0517:05, 1 March 2013 diff hist −195 Download →Latest Release
• 17:0417:04, 1 March 2013 diff hist 0 Download →Latest Release
• 16:0516:05, 1 March 2013 diff hist +1,517 Download →Latest Release

11 February 2013

• 06:2406:24, 11 February 2013 diff hist 0 TLA →Using ProB for Animation and Model Checking of TLA+ specifications
• 06:2306:23, 11 February 2013 diff hist +170 TLA →Using ProB for Animation and Model Checking of TLA+ specifications
• 06:2106:21, 11 February 2013 diff hist −3 TLA →Using ProB for Animation and Model Checking of TLA+ specifications

21 December 2012

• 10:0810:08, 21 December 2012 diff hist +73 Download →Tcl/Tk
• 10:0810:08, 21 December 2012 diff hist +23 Download →Latest Release

6 December 2012

• 14:0414:04, 6 December 2012 diff hist 0 Download →Tcl/Tk
• 14:0214:02, 6 December 2012 diff hist +105 Download →Tcl/Tk
• 09:5709:57, 6 December 2012 diff hist +212 Download →Latest Release
• 09:5609:56, 6 December 2012 diff hist +92 Download →Tcl/Tk

27 November 2012

• 10:4710:47, 27 November 2012 diff hist +113 Using the Command-Line Version of ProB →-repl
• 10:4510:45, 27 November 2012 diff hist +214 Using the Command-Line Version of ProB →-eval
• 10:4310:43, 27 November 2012 diff hist +222 Using ProB with KODKOD →How to enable Kodkod

23 November 2012

• 13:4613:46, 23 November 2012 diff hist +34 Getting Involved No edit summary
• 13:4613:46, 23 November 2012 diff hist +103 Getting Involved →The Prolog Sources
• 13:4513:45, 23 November 2012 diff hist +315 Getting Involved No edit summary

21 November 2012

• 10:5410:54, 21 November 2012 diff hist +207 Tips: Writing Models for ProB No edit summary

6 November 2012

• 07:5607:56, 6 November 2012 diff hist −1 Summary of B Syntax →Statements (aka Substitutions):
• 07:5607:56, 6 November 2012 diff hist +1 Summary of B Syntax →Statements (aka Substitutions):
• 07:5607:56, 6 November 2012 diff hist 0 Summary of B Syntax No edit summary

31 October 2012

• 12:3312:33, 31 October 2012 diff hist +42 Using ProB with KODKOD →When is the Kokod translation used
• 12:3112:31, 31 October 2012 diff hist +131 Using ProB with KODKOD →What can be translated
• 12:2912:29, 31 October 2012 diff hist +100 Using ProB with KODKOD →How to enable Kodkod
• 12:2812:28, 31 October 2012 diff hist +147 Using ProB with KODKOD →When is the Kokod translation used
• 12:2612:26, 31 October 2012 diff hist +202 Using ProB with KODKOD No edit summary