User contributions for Michael Leuschel

2 March 2011

• 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
• 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