User contributions for Michael Leuschel

16 March 2010

• 15:3215:32, 16 March 2010 diff hist +15‎ Download ‎ →‎Latest Release
• 15:3115:31, 16 March 2010 diff hist 0‎ Download ‎ →‎Latest Release
• 15:2915:29, 16 March 2010 diff hist 0‎ Download ‎ →‎Latest Release

12 March 2010

• 17:3317:33, 12 March 2010 diff hist +75‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB

3 March 2010

• 15:1315:13, 3 March 2010 diff hist 0‎ Download ‎ →‎Latest Release
• 14:5714:57, 3 March 2010 diff hist −3‎ Download ‎ →‎Latest Release

25 February 2010

• 15:3615:36, 25 February 2010 diff hist +149‎ Other languages ‎No edit summary
• 15:3315:33, 25 February 2010 diff hist −11‎ Other languages ‎No edit summary

19 February 2010

• 12:3212:32, 19 February 2010 diff hist +6‎ Download ‎ →‎Latest Release
• 12:3212:32, 19 February 2010 diff hist 0‎ Download ‎ →‎Latest Release
• 12:3212:32, 19 February 2010 diff hist +89‎ Download ‎ →‎Latest Release
• 10:0810:08, 19 February 2010 diff hist +2‎ Download ‎ →‎Latest Release
• 10:0810:08, 19 February 2010 diff hist 0‎ Download ‎ →‎Latest Release
• 09:1209:12, 19 February 2010 diff hist +11‎ Download ‎ →‎Latest Release
• 09:1109:11, 19 February 2010 diff hist 0‎ Download ‎ →‎Latest Release

11 February 2010

• 18:3318:33, 11 February 2010 diff hist 0‎ Links ‎No edit summary
• 18:3318:33, 11 February 2010 diff hist +13‎ Links ‎ →‎Miscellaneous
• 18:3218:32, 11 February 2010 diff hist +1,544‎ N Links ‎ Created page with '== Books == * [http://www.jpbowen.com/publications/thes-b.html The B-Book: Assigning programs to meanings, by Jean-Raymond Abrial] (link is to a review by Jonathan Bowen) * [http…'
• 12:2912:29, 11 February 2010 diff hist +51‎ Download ‎ →‎Latest Release
• 12:2912:29, 11 February 2010 diff hist +51‎ Download ‎ →‎Latest Release
• 12:2712:27, 11 February 2010 diff hist +1‎ Download ‎ →‎Latest Release
• 12:2712:27, 11 February 2010 diff hist +505‎ Download ‎ →‎Latest Release
• 10:4710:47, 11 February 2010 diff hist +1‎ Download ‎ →‎Latest Release
• 10:4110:41, 11 February 2010 diff hist +643‎ Download ‎ →‎Latest Release
• 10:3210:32, 11 February 2010 diff hist −2‎ Download ‎ →‎Latest Release
• 10:3210:32, 11 February 2010 diff hist +3‎ Download ‎No edit summary
• 10:0210:02, 11 February 2010 diff hist +225‎ The ProB Animator and Model Checker ‎No edit summary

26 January 2010

• 11:0611:06, 26 January 2010 diff hist +58‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Adding universally quantified formulas
• 11:0411:04, 26 January 2010 diff hist 0‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Complicating the Example

22 January 2010

• 15:0415:04, 22 January 2010 diff hist +172‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Complicating the Example

20 January 2010

• 09:3009:30, 20 January 2010 diff hist +334‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Adding universally quantified formulas

19 January 2010

• 16:1816:18, 19 January 2010 diff hist −1‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
• 16:1816:18, 19 January 2010 diff hist −1‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
• 16:1816:18, 19 January 2010 diff hist −28‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
• 16:1716:17, 19 January 2010 diff hist +55‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
• 16:1516:15, 19 January 2010 diff hist +404‎ Using the Command-Line Version of ProB ‎No edit summary
• 16:0916:09, 19 January 2010 diff hist +3‎ Using the Command-Line Version of ProB ‎ →‎probcli Basics
• 16:0816:08, 19 January 2010 diff hist +3,645‎ Using the Command-Line Version of ProB ‎ →‎probcli Basics
• 16:0716:07, 19 January 2010 diff hist +1,240‎ N Using the Command-Line Version of ProB ‎ Created page with 'Category:Tutorial Category:User Manual The command-line version of ProB offers many of the feature of the standalone Tcl/Tk Version, but via the command-line. As such, y…'
• 15:5815:58, 19 January 2010 diff hist +46‎ Tutorial ‎No edit summary
• 15:1515:15, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoad4.png ‎No edit summary current
• 15:1515:15, 19 January 2010 diff hist +1,186‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 15:0415:04, 19 January 2010 diff hist +1‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 15:0415:04, 19 January 2010 diff hist +275‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 15:0115:01, 19 January 2010 diff hist +150‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 15:0015:00, 19 January 2010 diff hist +433‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Complicating the Example
• 14:5314:53, 19 January 2010 diff hist +49‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 14:5314:53, 19 January 2010 diff hist +97‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 14:5114:51, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoadMsg3.png ‎No edit summary current
• 14:5114:51, 19 January 2010 diff hist 0‎ N File:ProB PropagationAfterLoadDebug3.png ‎No edit summary current