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

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