User contributions for Michael Leuschel

1 March 2011

• 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
• 12:3612:36, 1 March 2011 diff hist 0‎ N File:DoubleCounterStatespace.png ‎No edit summary
• 12:3612:36, 1 March 2011 diff hist +271‎ Tutorial Model Checking, Proof and CBC ‎No edit summary
• 12:3412:34, 1 March 2011 diff hist +305‎ Tutorial Model Checking, Proof and CBC ‎No edit summary
• 11:0111:01, 1 March 2011 diff hist +432‎ Tutorial Model Checking, Proof and CBC ‎No edit summary
• 10:1310:13, 1 March 2011 diff hist +72‎ N Tutorial Model Checking, Proof and CBC ‎ Created page with ' We assume that you have completed Tutorial Complete Model Checking.'
• 10:1310:13, 1 March 2011 diff hist −1‎ Tutorial Complete Model Checking ‎ →‎Model Checking and Proof
• 10:1210:12, 1 March 2011 diff hist +1,155‎ Tutorial Complete Model Checking ‎No edit summary
• 10:1210:12, 1 March 2011 diff hist +76‎ Tutorial ‎No edit summary
• 09:4509:45, 1 March 2011 diff hist +526‎ Tutorial Complete Model Checking ‎No edit summary
• 09:4109:41, 1 March 2011 diff hist 0‎ N File:ProBModelCheckNoCounterExampleFound Unbounded.png ‎No edit summary
• 09:4109:41, 1 March 2011 diff hist −1‎ Tutorial Complete Model Checking ‎No edit summary
• 09:3709:37, 1 March 2011 diff hist +44‎ Tutorial Complete Model Checking ‎No edit summary
• 09:0309:03, 1 March 2011 diff hist 0‎ N File:ProBSimpleCountDefSet InvViol.png ‎No edit summary
• 09:0309:03, 1 March 2011 diff hist 0‎ N File:ProBSimpleCountDefSet BeforeInit.png ‎No edit summary
• 09:0309:03, 1 March 2011 diff hist +1,061‎ Tutorial Complete Model Checking ‎No edit summary
• 08:5308:53, 1 March 2011 diff hist +46‎ Tutorial Complete Model Checking ‎No edit summary
• 08:5208:52, 1 March 2011 diff hist 0‎ N File:ProBModelCheckNoCounterExampleFoundTrans.png ‎No edit summary current
• 08:5108:51, 1 March 2011 diff hist 0‎ N File:ProBSimpleCounterForMC Max.png ‎No edit summary
• 08:5108:51, 1 March 2011 diff hist 0‎ N File:ProBSimpleCounterForMC InvViol.png ‎No edit summary
• 08:5108:51, 1 March 2011 diff hist +1,819‎ Tutorial Complete Model Checking ‎No edit summary
• 08:3508:35, 1 March 2011 diff hist 0‎ N File:ProBModelCheckNoCounterExampleFound.png ‎No edit summary
• 08:3508:35, 1 March 2011 diff hist +1,392‎ N Tutorial Complete Model Checking ‎ Created page with 'Category:User Manual We assume that you have completed Tutorial First Model Checking. There we have seen how to find invariant violations using the model checker. In t…'
• 08:2608:26, 1 March 2011 diff hist +63‎ Tutorial ‎No edit summary

10 February 2011

• 18:1518:15, 10 February 2011 diff hist +42‎ The ProB Animator and Model Checker ‎No edit summary
• 18:1318:13, 10 February 2011 diff hist +92‎ The ProB Animator and Model Checker ‎No edit summary
• 18:1018:10, 10 February 2011 diff hist +378‎ The ProB Animator and Model Checker ‎No edit summary
• 17:0117:01, 10 February 2011 diff hist +204‎ Download ‎ →‎tcl/tk
• 17:0017:00, 10 February 2011 diff hist +1‎ Download ‎ →‎Latest Release
• 16:1716:17, 10 February 2011 diff hist −6‎ The ProB Animator and Model Checker ‎No edit summary