User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,313 edits. Account created on 18 January 2010.

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

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

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

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

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

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

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

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

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

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

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: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

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

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

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Michael_Leuschel"