User contributions for Michael Leuschel

11 February 2015

• 18:0318:03, 11 February 2015 diff hist +45 FAQ →Which features of B are covered?
• 16:5916:59, 11 February 2015 diff hist 0 Tutorial Animation Tips →Using Random enumeration
• 16:5816:58, 11 February 2015 diff hist +158 Tutorial Animation Tips →Constraint-Based Model-Based Testing
• 16:5716:57, 11 February 2015 diff hist 0 Tutorial Animation Tips →Constraint-Based Model-Based Testing
• 16:5616:56, 11 February 2015 diff hist +72 Tutorial Animation Tips →Using Constraint-Based Validation Techniques
• 16:5516:55, 11 February 2015 diff hist 0 N File:CBCMBTTreeResult.png No edit summary current
• 16:5516:55, 11 February 2015 diff hist 0 N File:CBCMBTResult.png No edit summary current
• 16:5516:55, 11 February 2015 diff hist 0 N File:CBCMBTDialog.png No edit summary current
• 16:5516:55, 11 February 2015 diff hist 0 N File:CBCMBTMenu.png No edit summary current
• 16:5516:55, 11 February 2015 diff hist +601 Tutorial Animation Tips →Using Constraint-Based Validation Techniques
• 16:4916:49, 11 February 2015 diff hist 0 Tutorial Animation Tips →Using Constraint-Based Validation Techniques
• 16:4916:49, 11 February 2015 diff hist 0 Tutorial Animation Tips →Using Constraint-Based Validation Techniques
• 16:4916:49, 11 February 2015 diff hist 0 N File:FindSequenceResult.png No edit summary current
• 16:4816:48, 11 February 2015 diff hist 0 N File:FindSequenceDialog.png No edit summary current
• 16:4816:48, 11 February 2015 diff hist 0 N File:FindSequenceMenu.png No edit summary current
• 16:4816:48, 11 February 2015 diff hist +807 Tutorial Animation Tips →Using Constraint-Based Validation Techniques
• 16:4116:41, 11 February 2015 diff hist 0 Tutorial Animation Tips →Using Random enumeration
• 16:4016:40, 11 February 2015 diff hist 0 N File:ProB Lift Randomise.png No edit summary current
• 16:4016:40, 11 February 2015 diff hist +128 Tutorial Animation Tips →Using Random enumeration
• 16:3716:37, 11 February 2015 diff hist +3 Tutorial Animation Tips →Using Random enumeration
• 16:3416:34, 11 February 2015 diff hist +509 Tutorial Animation Tips →Operation with many solutions for the parameters

30 January 2015

• 07:0807:08, 30 January 2015 diff hist 0 ProB for Rodin →Camille
• 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

23 January 2015

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

22 January 2015

• 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

19 January 2015

• 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

16 January 2015

• 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