User contributions for Michael Leuschel

18 September 2015

• 15:0315:03, 18 September 2015 diff hist +103 User Manual →Important notice
• 15:0215:02, 18 September 2015 diff hist +101 Template:Feedback →Feedback

16 September 2015

• 15:5615:56, 16 September 2015 diff hist +213 ProZ →Summary of Supported Operators
• 15:5015:50, 16 September 2015 diff hist +107 ProZ →Summary of Supported Operators
• 15:4715:47, 16 September 2015 diff hist +3,498 ProZ →Known Limitations

7 September 2015

• 09:2109:21, 7 September 2015 diff hist +25 Tutorial Disprover No edit summary

6 September 2015

• 13:0613:06, 6 September 2015 diff hist +15 Tutorial Disprover →WARNING
• 13:0213:02, 6 September 2015 diff hist +190 Tutorial Disprover →WARNING

3 September 2015

• 12:3712:37, 3 September 2015 diff hist +65 State Space Coverage Analyses No edit summary current
• 12:3612:36, 3 September 2015 diff hist +706 State Space Coverage Analyses No edit summary
• 12:3112:31, 3 September 2015 diff hist +1,463 State Space Coverage Analyses No edit summary

2 September 2015

• 08:4808:48, 2 September 2015 diff hist +210 Using the Command-Line Version of ProB →Some probcli examples
• 06:4606:46, 2 September 2015 diff hist +6 State Space Coverage Analyses →MC/DC Coverage
• 06:4306:43, 2 September 2015 diff hist −1 State Space Coverage Analyses →MC/DC Coverage
• 06:4206:42, 2 September 2015 diff hist +10 State Space Coverage Analyses →Event Coverage
• 06:4206:42, 2 September 2015 diff hist 0 N File:CoverageMenu.png No edit summary current
• 06:4106:41, 2 September 2015 diff hist +177 State Space Coverage Analyses No edit summary
• 06:3906:39, 2 September 2015 diff hist 0 State Space Coverage Analyses →MC/DC Coverage
• 06:3806:38, 2 September 2015 diff hist 0 N File:MCDC Coverage ABZ.png No edit summary current
• 06:3606:36, 2 September 2015 diff hist +46 State Space Coverage Analyses No edit summary
• 06:3506:35, 2 September 2015 diff hist +2,878 N State Space Coverage Analyses Created page with 'ProB provides various ways to analyse the coverage of the state space of a model == Event Coverage == [TO DO] == MC/DC Coverage == MC/DC (Modified Condition/Decision Coverage…'
• 06:3106:31, 2 September 2015 diff hist +36 Template:User Manual Index No edit summary

1 September 2015

• 05:1005:10, 1 September 2015 diff hist +96 Controlling ProB Preferences No edit summary current
• 05:0905:09, 1 September 2015 diff hist +9 Deferred Sets No edit summary current
• 05:0905:09, 1 September 2015 diff hist +18 Deferred Sets No edit summary
• 05:0805:08, 1 September 2015 diff hist +445 Deferred Sets No edit summary
• 05:0205:02, 1 September 2015 diff hist +1 Controlling ProB Preferences →Setting Preferences from the command-line

31 August 2015

• 15:1015:10, 31 August 2015 diff hist +25 The ProB Animator and Model Checker No edit summary
• 09:1109:11, 31 August 2015 diff hist +60 Template:User Manual Index No edit summary
• 08:4608:46, 31 August 2015 diff hist +19 Controlling ProB Preferences No edit summary
• 08:4508:45, 31 August 2015 diff hist +198 Controlling ProB Preferences No edit summary
• 08:4308:43, 31 August 2015 diff hist +79 Controlling ProB Preferences →Setting Preferences from the command-line
• 08:4108:41, 31 August 2015 diff hist +387 Controlling ProB Preferences →Setting Preferences from the command-line
• 08:3308:33, 31 August 2015 diff hist +86 Controlling ProB Preferences →Setting Preferences from ProB Tcl/Tk
• 08:3208:32, 31 August 2015 diff hist +313 Controlling ProB Preferences →Setting Preferences from ProB Tcl/Tk
• 08:3008:30, 31 August 2015 diff hist +561 N Controlling ProB Preferences Created page with 'ProB provides a variety of preferences to control its behaviour. === Setting Preferences in a B machine === This only works for classical B models. For a preference <tt>P</tt> …'
• 08:2608:26, 31 August 2015 diff hist +97 Deferred Sets No edit summary
• 08:2208:22, 31 August 2015 diff hist +24 Deferred Sets →Setting Deferred Set Cardinalities within probcli
• 08:2108:21, 31 August 2015 diff hist +1,229 N Deferred Sets Created page with ' A deferred set in B is declared in the SETS Section and is not explicitly enumerated. In the example below, AA is a deferred set and BB is an enumerated set. <pre> MACHINE Test …'
• 08:1808:18, 31 August 2015 diff hist +18 Current Limitations No edit summary

28 August 2015

• 05:5305:53, 28 August 2015 diff hist 0 Test Case Generation →Example 1 (Constraint-based Test Case Generation better)
• 05:5305:53, 28 August 2015 diff hist 0 Test Case Generation →Example 1 (Constraint-based Test Case Generation better)
• 05:5205:52, 28 August 2015 diff hist 0 N File:CBC Test Tree States Example1.png No edit summary current
• 05:5205:52, 28 August 2015 diff hist +246 Test Case Generation →Example 1 (Constraint-based Test Case Generation better)
• 05:4905:49, 28 August 2015 diff hist 0 N File:CBC StateSpace Example1.png No edit summary current
• 05:4805:48, 28 August 2015 diff hist +233 Test Case Generation →Example 1 (Constraint-based Test Case Generation better)
• 05:4505:45, 28 August 2015 diff hist +178 Test Case Generation →Example 1 (Constraint-based Test Case Generation better)
• 05:4305:43, 28 August 2015 diff hist 0 Test Case Generation →Example 1 (Constraint-based Test Case Generation better)
• 05:4205:42, 28 August 2015 diff hist 0 N File:CBC Test Tree Example1.png No edit summary current
• 05:4205:42, 28 August 2015 diff hist +111 Test Case Generation →Example 1 (Constraint-based Test Case Generation better)