User contributions for Michael Leuschel

07:0707:07, 30 January 2015 diff hist +358 ProB for Rodin →Camille
06:5806:58, 30 January 2015 diff hist +8 ProB for Rodin No edit summary
06:5706:57, 30 January 2015 diff hist +507 ProB for Rodin No edit summary

12:0412:04, 23 January 2015 diff hist 0 ABZ14 →ProB Live Visualization (click to join)

19:2919:29, 22 January 2015 diff hist +228 ProB for Rodin No edit summary
19:2619:26, 22 January 2015 diff hist +101 Links →Tools using ProB
11:4511:45, 22 January 2015 diff hist +23 ProB for Rodin →ProB 2.0 for Rodin
11:4511:45, 22 January 2015 diff hist +23 ProB for Rodin →ProB (1) for Rodin
10:5710:57, 22 January 2015 diff hist +69 ProB for Rodin →ProB (1) for Rodin
10:3510:35, 22 January 2015 diff hist +69 ProB for Rodin →ProB (1) for Rodin
10:3510:35, 22 January 2015 diff hist +113 ProB for Rodin No edit summary
10:3010:30, 22 January 2015 diff hist +42 ProB for Rodin No edit summary
10:2810:28, 22 January 2015 diff hist +200 ProB for Rodin No edit summary
09:5809:58, 22 January 2015 diff hist +227 ProB for Rodin No edit summary
09:5109:51, 22 January 2015 diff hist +73 Links →Related Tools

12:3812:38, 19 January 2015 diff hist +161 Developer Manual No edit summary
12:3612:36, 19 January 2015 diff hist +117 Developer Manual No edit summary
12:3512:35, 19 January 2015 diff hist +244 Download →Nightly Build
12:3512:35, 19 January 2015 diff hist −63 ProB Java API →Download
12:3412:34, 19 January 2015 diff hist +308 ProB Java API No edit summary

09:0209:02, 16 January 2015 diff hist +119 Constraint Based Checking →Difference between Constraint Based Checking and Model Checking
09:0009:00, 16 January 2015 diff hist −2 ProB Validation Methods No edit summary current
09:0009:00, 16 January 2015 diff hist +44 ProB Validation Methods No edit summary
08:5908:59, 16 January 2015 diff hist +119 ProB Validation Methods No edit summary
08:5608:56, 16 January 2015 diff hist +39 ProB Validation Methods No edit summary
08:5608:56, 16 January 2015 diff hist +1,043 N ProB Validation Methods Created page with ' ProB offers various validation techniques: * Consistency Checking (Finding Invariant Violations using the Model Checker) * [[Constraint Based Checking]…'
08:4708:47, 16 January 2015 diff hist +76 Template:User Manual Index No edit summary
08:4508:45, 16 January 2015 diff hist +76 Template:User Manual Index No edit summary
08:4108:41, 16 January 2015 diff hist +1 Bounded Model Checking No edit summary
08:4008:40, 16 January 2015 diff hist +59 Bounded Model Checking No edit summary
08:4008:40, 16 January 2015 diff hist +173 Using the Command-Line Version of ProB →-bmc
08:3908:39, 16 January 2015 diff hist +2 Using the Command-Line Version of ProB →-csp-guide File
08:3908:39, 16 January 2015 diff hist +2 Using the Command-Line Version of ProB →-test_description File
08:3808:38, 16 January 2015 diff hist +6 Using the Command-Line Version of ProB →-cbc_tests Depth EndPredicate File
08:3808:38, 16 January 2015 diff hist +2 Using the Command-Line Version of ProB →-cbc_cover Operation
08:3808:38, 16 January 2015 diff hist +29 Using the Command-Line Version of ProB →-spdot
08:3708:37, 16 January 2015 diff hist +207 Using the Command-Line Version of ProB →-test_description File
07:1007:10, 16 January 2015 diff hist +8 Constraint Based Checking →Commands of the Constraint Based Checker
07:0907:09, 16 January 2015 diff hist +10 Constraint Based Checking →Commands of the Constraint Based Checker
07:0907:09, 16 January 2015 diff hist +43 Using the Command-Line Version of ProB →-cbc_sequence
07:0807:08, 16 January 2015 diff hist −2 Using the Command-Line Version of ProB →-cbc_deadlock_pred >
07:0707:07, 16 January 2015 diff hist +427 Using the Command-Line Version of ProB →-cbc_assertions
07:0507:05, 16 January 2015 diff hist +324 Constraint Based Checking →Commands of the Constraint Based Checker
07:0307:03, 16 January 2015 diff hist +555 Constraint Based Checking No edit summary

16:3316:33, 15 January 2015 diff hist +3 Bounded Model Checking No edit summary
16:3216:32, 15 January 2015 diff hist 0 N File:BMC Counter Wrong.png No edit summary current
16:3216:32, 15 January 2015 diff hist +2,498 N Bounded Model Checking Created page with 'As of version 1.5, ProB provides support for constraint-based bounded model checking. This can be useful when the out-degree of the state-space is very high, i.e., when there are…'
16:2116:21, 15 January 2015 diff hist +29 Template:User Manual Index No edit summary
16:2116:21, 15 January 2015 diff hist +78 User Manual →Content of this handbook
16:0316:03, 15 January 2015 diff hist −1 Symmetry Reduction →Static Symmetry Reduction

User contributions for Michael Leuschel

30 January 2015

23 January 2015

22 January 2015

19 January 2015

16 January 2015

15 January 2015