User contributions for Michael Leuschel

24 May 2011

• 09:3109:31, 24 May 2011 diff hist +280 Tutorial Rodin First Step →Starting ProB
• 09:2809:28, 24 May 2011 diff hist 0 File:ProBRodinStart.png uploaded a new version of "File:ProBRodinStart.png"
• 09:2009:20, 24 May 2011 diff hist +34 Tutorial Rodin First Step →Starting ProB
• 09:1009:10, 24 May 2011 diff hist +18 Tutorial Rodin First Step →Starting ProB

6 May 2011

• 15:1515:15, 6 May 2011 diff hist +45 Template:User Manual Index No edit summary
• 15:0915:09, 6 May 2011 diff hist +2 Using the Command-Line Version of ProB →Preferences
• 15:0715:07, 6 May 2011 diff hist +167 Using the Command-Line Version of ProB →-properties
• 15:0515:05, 6 May 2011 diff hist +89 Using the Command-Line Version of ProB →-assertions
• 15:0315:03, 6 May 2011 diff hist +88 Using the Command-Line Version of ProB No edit summary
• 14:3814:38, 6 May 2011 diff hist +567 Using the Command-Line Version of ProB No edit summary
• 14:2114:21, 6 May 2011 diff hist +188 Using the Command-Line Version of ProB →Options
• 14:1814:18, 6 May 2011 diff hist +255 Using the Command-Line Version of ProB No edit summary

24 March 2011

• 12:5412:54, 24 March 2011 diff hist −1 Current Limitations No edit summary
• 12:5412:54, 24 March 2011 diff hist +58 Current Limitations No edit summary

17 March 2011

• 12:1012:10, 17 March 2011 diff hist −667 Download →Latest Release
• 12:0912:09, 17 March 2011 diff hist −543 Download →Latest Release
• 12:0712:07, 17 March 2011 diff hist −550 Download →Latest Release

10 March 2011

• 14:4014:40, 10 March 2011 diff hist −58 Download →Tcl/Tk
• 13:5313:53, 10 March 2011 diff hist +146 Download →tcl/tk

2 March 2011

• 13:5813:58, 2 March 2011 diff hist −41 Tutorial Model Checking, Proof and CBC →How to correct problems found
• 13:5513:55, 2 March 2011 diff hist +692 Tutorial Model Checking, Proof and CBC No edit summary
• 09:5709:57, 2 March 2011 diff hist −8 Template:User Manual Index No edit summary
• 09:5609:56, 2 March 2011 diff hist +44 Template:User Manual Index No edit summary
• 09:5509:55, 2 March 2011 diff hist +46 User Manual →Content of this handbook
• 08:3608:36, 2 March 2011 diff hist +250 Tips: Writing Models for ProB No edit summary
• 08:3508:35, 2 March 2011 diff hist +1,250 Tips: Writing Models for ProB No edit summary
• 08:2208:22, 2 March 2011 diff hist +258 N Tips: Writing Models for ProB Created page with 'Category:User Manual * Try to put complicated properties into ASSERTIONS rather than PROPERTIES. Something like <tt>!s.(s<:S => P)</tt> will have to check <tt>P</tt> for all…'
• 08:1808:18, 2 March 2011 diff hist +7 Current Limitations No edit summary

1 March 2011

• 16:0416:04, 1 March 2011 diff hist +22 Tutorial No edit summary
• 16:0316:03, 1 March 2011 diff hist 0 File:ProBModelCheckNoCounterExampleFound.png uploaded a new version of "File:ProBModelCheckNoCounterExampleFound.png" current
• 16:0316:03, 1 March 2011 diff hist 0 File:DoubleCounterStatespace.png uploaded a new version of "File:DoubleCounterStatespace.png" current
• 16:0216:02, 1 March 2011 diff hist 0 File:DoubleCounterStatespace2.png uploaded a new version of "File:DoubleCounterStatespace2.png" current
• 16:0016:00, 1 March 2011 diff hist +52 Tutorial Model Checking, Proof and CBC →Constraint Based Checking (CBC) for the Invariant
• 15:5915:59, 1 March 2011 diff hist +164 Tutorial Model Checking, Proof and CBC →Constraint Based Checking (CBC) for the Invariant
• 13:2413:24, 1 March 2011 diff hist +14 Tutorial Model Checking, Proof and CBC No edit summary
• 13:2313:23, 1 March 2011 diff hist 0 N File:ClicknProveDoubleCounter.png No edit summary
• 13:2213:22, 1 March 2011 diff hist +201 Tutorial Model Checking, Proof and CBC No edit summary
• 13:0913:09, 1 March 2011 diff hist +72 Tutorial Complete Model Checking No edit summary
• 13:0713:07, 1 March 2011 diff hist +107 Tutorial Model Checking, Proof and CBC No edit summary
• 13:0513:05, 1 March 2011 diff hist 0 N File:DoubleCounterStatespace2.png No edit summary
• 13:0513:05, 1 March 2011 diff hist +779 Tutorial Model Checking, Proof and CBC No edit summary
• 12:5912:59, 1 March 2011 diff hist +22 Tutorial Model Checking, Proof and CBC →Constraint Based Checking (CBC) for the Invariant
• 12:5812:58, 1 March 2011 diff hist +333 Tutorial Model Checking, Proof and CBC →Constraint Based Checking (CBC) for the Invariant
• 12:5312:53, 1 March 2011 diff hist +366 Tutorial Model Checking, Proof and CBC No edit summary
• 12:4912:49, 1 March 2011 diff hist 0 N File:DoubleCounterCBCCommand.png No edit summary current
• 12:4912:49, 1 March 2011 diff hist +1,134 Tutorial Model Checking, Proof and CBC No edit summary
• 12:3912:39, 1 March 2011 diff hist 0 File:CBCDoubleCounter2.png uploaded a new version of "File:CBCDoubleCounter2.png" current
• 12:3712:37, 1 March 2011 diff hist 0 N File:CBCDoubleCounter2.png No edit summary
• 12:3712:37, 1 March 2011 diff hist +4 Tutorial Model Checking, Proof and CBC →Constraint Based Checking (CBC) for the Invariant
• 12:3612:36, 1 March 2011 diff hist 0 N File:CBCDoubleCounter1.png No edit summary current