Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

For Michael Leuschel talk block log uploads logs

07:0907:09, 25 February 2012 diff hist +71‎ Tutorial ‎No edit summary

15:4415:44, 23 February 2012 diff hist +142‎ ProZ ‎No edit summary

10:0410:04, 18 February 2012 diff hist +185‎ TLA ‎ →‎Using ProB for Animation and Model Checking of TLA+ specifications

14:5414:54, 10 February 2012 diff hist +80‎ Using the Command-Line Version of ProB ‎ →‎Preferences

06:5606:56, 6 February 2012 diff hist +3‎ TLA ‎ →‎Supported TLA+ syntax
06:5306:53, 6 February 2012 diff hist −4‎ TLA ‎ →‎Limitations of the translation
06:5306:53, 6 February 2012 diff hist −2‎ TLA ‎ →‎TLA2B
06:5206:52, 6 February 2012 diff hist −6‎ TLA ‎ →‎Using ProB for Animation and Model Checking of TLA+ specifications
06:4706:47, 6 February 2012 diff hist +72‎ TLA ‎ →‎Using ProB for Animation and Model Checking of TLA+ specifications

10:2110:21, 26 January 2012 diff hist +107‎ Tutorial Modeling Infinite Datatypes ‎No edit summary
10:2010:20, 26 January 2012 diff hist +121‎ Recursively Defined Functions ‎No edit summary
10:1510:15, 26 January 2012 diff hist 0‎ Recursively Defined Functions ‎No edit summary
10:1410:14, 26 January 2012 diff hist +118‎ Recursively Defined Functions ‎No edit summary
10:1010:10, 26 January 2012 diff hist +463‎ Recursively Defined Functions ‎No edit summary
10:0910:09, 26 January 2012 diff hist +249‎ Recursively Defined Functions ‎No edit summary
10:0610:06, 26 January 2012 diff hist +791‎ Recursively Defined Functions ‎No edit summary

16:4116:41, 23 January 2012 diff hist −1‎ TLA ‎ →‎Using ProB for Animation and Model Checking of TLA+ specifications
16:4116:41, 23 January 2012 diff hist +36‎ TLA ‎ →‎Using ProB for Animation and Model Checking of TLA+ specifications
12:5112:51, 23 January 2012 diff hist +136‎ TLA ‎ →‎TLA2B
12:4912:49, 23 January 2012 diff hist +87‎ TLA ‎No edit summary
12:4812:48, 23 January 2012 diff hist +1,091‎ TLA ‎No edit summary
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

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

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

14:5714:57, 5 December 2011 diff hist +64‎ Download ‎ →‎Latest Release
14:5514:55, 5 December 2011 diff hist +21‎ ProBLicence ‎ →‎ProB Licence

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

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

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

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

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

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

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

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

08:4808:48, 28 September 2011 diff hist +165‎ Why Prolog? ‎ →‎Why SICStus Prolog

09:2109:21, 25 September 2011 diff hist +238‎ Using the Command-Line Version of ProB ‎ →‎-mc

14:3314:33, 21 September 2011 diff hist −17‎ Download ‎ →‎Nightly Build
14:3114:31, 21 September 2011 diff hist +29‎ Download ‎ →‎Nightly Build
14:1314:13, 21 September 2011 diff hist +34‎ Download ‎ →‎Nightly Build
14:1214:12, 21 September 2011 diff hist +55‎ Download ‎ →‎Nightly Build

12:4912:49, 20 September 2011 diff hist +187‎ Using the Command-Line Version of ProB ‎ →‎-animate
12:3812:38, 20 September 2011 diff hist −24‎ Download ‎ →‎Nightly Build

15:3615:36, 15 September 2011 diff hist +160‎ Using the Command-Line Version of ProB ‎ →‎-assertions
15:3515:35, 15 September 2011 diff hist +373‎ Using the Command-Line Version of ProB ‎ →‎-assertions

14:5414:54, 13 September 2011 diff hist −1‎ Download ‎ →‎Nightly Build
14:5314:53, 13 September 2011 diff hist +336‎ Download ‎ →‎Nightly Build

17:1117:11, 8 September 2011 diff hist +222‎ Symmetry Reduction ‎No edit summary

13:2113:21, 1 September 2011 diff hist +50‎ Download ‎ →‎Latest Release
10:1510:15, 1 September 2011 diff hist +151‎ Download ‎ →‎Latest Release

07:3207:32, 30 July 2011 diff hist +87‎ Using the Command-Line Version of ProB ‎No edit summary

12:2012:20, 29 July 2011 diff hist +5‎ Using the Command-Line Version of ProB ‎ →‎-sptxt
08:5508:55, 29 July 2011 diff hist +187‎ Using the Command-Line Version of ProB ‎ →‎-dot_output

06:5606:56, 27 July 2011 diff hist +167‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Complicating the Example current

15:3615:36, 25 July 2011 diff hist +497‎ Tutorial Debugging Well-Definedness and Transition Errors ‎No edit summary
15:3315:33, 25 July 2011 diff hist 0‎ Tutorial Debugging Well-Definedness and Transition Errors ‎No edit summary
15:3215:32, 25 July 2011 diff hist 0‎ File:ProB While INV Violation.png ‎ uploaded a new version of "File:ProB While INV Violation.png"
15:3115:31, 25 July 2011 diff hist 0‎ File:ProB While INV Violation.png ‎ uploaded a new version of "File:ProB While INV Violation.png"
15:3115:31, 25 July 2011 diff hist 0‎ File:ProB While INV Violation.png ‎ uploaded a new version of "File:ProB While INV Violation.png"
15:3015:30, 25 July 2011 diff hist 0‎ N File:ProB While INV Violation.png ‎No edit summary
15:3015:30, 25 July 2011 diff hist 0‎ N File:ProB WhileAfterErrClick.png ‎No edit summary current
15:2915:29, 25 July 2011 diff hist 0‎ N File:ProB WhileAfterLoad.png ‎No edit summary
15:2915:29, 25 July 2011 diff hist +1,427‎ N Tutorial Debugging Well-Definedness and Transition Errors ‎ Created page with 'Category:Tutorial Category:User Manual We assume that you have grasped the way that ProB setups up the initial states of a B machine as outlined in [[Tutorial Setup Phas…'
15:2515:25, 25 July 2011 diff hist +1‎ Tutorial ‎No edit summary

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