User contributions for Michael Leuschel

23 January 2012

• 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