User contributions for Michael Leuschel

16 April 2015

• 08:3108:31, 16 April 2015 diff hist +1,741 Blocks World (Directed Model Checking) No edit summary
• 08:2008:20, 16 April 2015 diff hist 0 N File:ProB BlockInit Screenshot.png No edit summary current
• 08:2008:20, 16 April 2015 diff hist +501 Blocks World (Directed Model Checking) No edit summary
• 08:1608:16, 16 April 2015 diff hist +2,653 N Blocks World (Directed Model Checking) Created page with 'In this example we want to highlight the new directed model checking features of ProB (available as of version 1.5.1). For this we use the following model of Blocks-World, where…'
• 08:1008:10, 16 April 2015 diff hist +45 User Manual →Sample Models
• 08:1008:10, 16 April 2015 diff hist +45 ProB Examples No edit summary
• 08:0408:04, 16 April 2015 diff hist 0 Cheryl's Birthday No edit summary
• 08:0408:04, 16 April 2015 diff hist +167 Cheryl's Birthday No edit summary
• 07:4707:47, 16 April 2015 diff hist 0 N File:ProB Cheryl Screenshot.png No edit summary current
• 07:4707:47, 16 April 2015 diff hist +112 Cheryl's Birthday No edit summary
• 07:4607:46, 16 April 2015 diff hist +58 User Manual →Sample Models
• 07:4507:45, 16 April 2015 diff hist +6 Cheryl's Birthday No edit summary
• 07:4207:42, 16 April 2015 diff hist +10 Cheryl's Birthday No edit summary
• 06:2806:28, 16 April 2015 diff hist +58 Cheryl's Birthday No edit summary
• 06:2706:27, 16 April 2015 diff hist +453 Cheryl's Birthday No edit summary
• 06:1806:18, 16 April 2015 diff hist +70 Cheryl's Birthday No edit summary
• 06:1706:17, 16 April 2015 diff hist +2,069 N Cheryl's Birthday Created page with ' This Puzzle is a variation of another Puzzle (Sum and Product) and has been described [http://www.nytimes.com/2015/04/15/science/a-math-problem-from-singapore-goes-viral-when-is…'
• 06:1306:13, 16 April 2015 diff hist +24 ProB Examples No edit summary

26 March 2015

• 10:1010:10, 26 March 2015 diff hist +8 Event-B Theories →Download Theories
• 10:0910:09, 26 March 2015 diff hist +2 Event-B Theories →Download Theories
• 10:0810:08, 26 March 2015 diff hist +24 Event-B Theories No edit summary

23 March 2015

• 12:5212:52, 23 March 2015 diff hist −4 Links →Testimonials

17 March 2015

• 08:2408:24, 17 March 2015 diff hist +57 ParB No edit summary
• 08:2208:22, 17 March 2015 diff hist +135 ParB No edit summary

10 March 2015

• 10:0610:06, 10 March 2015 diff hist +128 Test Case Generation No edit summary
• 10:0410:04, 10 March 2015 diff hist +44 Consistency Checking →Consistency Checking (Model Checking)
• 10:0110:01, 10 March 2015 diff hist +42 Consistency Checking No edit summary
• 09:5909:59, 10 March 2015 diff hist +2 Bounded Model Checking No edit summary
• 09:5909:59, 10 March 2015 diff hist +26 Bounded Model Checking No edit summary
• 09:5809:58, 10 March 2015 diff hist +32 Constraint Based Checking No edit summary current
• 09:5609:56, 10 March 2015 diff hist +82 Constraint Based Checking No edit summary
• 09:5409:54, 10 March 2015 diff hist +2 Bounded Model Checking No edit summary
• 09:5309:53, 10 March 2015 diff hist +300 Bounded Model Checking No edit summary

4 March 2015

• 17:0117:01, 4 March 2015 diff hist +356 Using the Command-Line Version of ProB →-cbc_assertions

26 February 2015

• 09:1009:10, 26 February 2015 diff hist +293 BMotion Studio No edit summary

20 February 2015

• 11:5311:53, 20 February 2015 diff hist +1 ProB Cli No edit summary current
• 11:4911:49, 20 February 2015 diff hist +8 Using the Command-Line Version of ProB →-cbc_assertions
• 11:4811:48, 20 February 2015 diff hist +351 Using the Command-Line Version of ProB →-cbc_assertions
• 11:4511:45, 20 February 2015 diff hist +81 Using the Command-Line Version of ProB →-cbc_assertions
• 11:4411:44, 20 February 2015 diff hist +172 Using the Command-Line Version of ProB →--timeout
• 11:4211:42, 20 February 2015 diff hist +50 Using the Command-Line Version of ProB →Preferences

19 February 2015

• 14:3414:34, 19 February 2015 diff hist +16 Download →Tcl/Tk Requirements for ProB Tcl/Tk
• 14:1414:14, 19 February 2015 diff hist +47 Tutorial Rodin First Step →Installation
• 14:1414:14, 19 February 2015 diff hist 0 File:RodinInstallNewSoftware.png uploaded a new version of "File:RodinInstallNewSoftware.png" current
• 14:1314:13, 19 February 2015 diff hist +63 Tutorial Rodin First Step →Installation
• 14:1114:11, 19 February 2015 diff hist 0 Tutorial Rodin First Step →Installation
• 14:1114:11, 19 February 2015 diff hist 0 File:RodinInstallNewSoftware.png uploaded a new version of "File:RodinInstallNewSoftware.png"
• 14:1014:10, 19 February 2015 diff hist 0 N File:ProBRodinUpdateDialog.png No edit summary current
• 14:0914:09, 19 February 2015 diff hist 0 N File:RodinInstallNewSoftware.png No edit summary
• 14:0914:09, 19 February 2015 diff hist +422 Tutorial Rodin First Step →Installation