User contributions for Michael Leuschel

31 August 2015

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

27 August 2015

• 12:1112:11, 27 August 2015 diff hist +91 Test Case Generation →Example 1 (Constraint-based Test Case Generation better)
• 12:0812:08, 27 August 2015 diff hist +1,692 Test Case Generation No edit summary
• 11:4311:43, 27 August 2015 diff hist +1,819 Test Case Generation →Introduction
• 11:3111:31, 27 August 2015 diff hist +106 Test Case Generation →Introduction
• 11:3011:30, 27 August 2015 diff hist +1,357 Test Case Generation No edit summary

20 August 2015

• 09:5509:55, 20 August 2015 diff hist 0 Links No edit summary
• 09:5509:55, 20 August 2015 diff hist +95 Links →Tools using ProB

11 August 2015

• 08:0108:01, 11 August 2015 diff hist −4 Tutorial CSP First Step →Error Highlighting
• 08:0008:00, 11 August 2015 diff hist +2 Tutorial CSP First Step →Error Highlighting

10 August 2015

• 15:3115:31, 10 August 2015 diff hist 0 File:ProB CSPAfterModelCheck2.png uploaded a new version of "File:ProB CSPAfterModelCheck2.png" current
• 15:2915:29, 10 August 2015 diff hist 0 Tutorial CSP First Step →Other Features
• 15:2915:29, 10 August 2015 diff hist +39 Tutorial CSP First Step →Other Features
• 15:2815:28, 10 August 2015 diff hist 0 File:ProB CSPBusStatespace.png uploaded a new version of "File:ProB CSPBusStatespace.png" current
• 15:2315:23, 10 August 2015 diff hist 0 File:ProB CSPAfterModelCheck.png uploaded a new version of "File:ProB CSPAfterModelCheck.png" current
• 15:2315:23, 10 August 2015 diff hist 0 File:ProB CSPModelCheck.png uploaded a new version of "File:ProB CSPModelCheck.png" current
• 15:2215:22, 10 August 2015 diff hist −18 Tutorial CSP First Step No edit summary
• 15:2115:21, 10 August 2015 diff hist 0 File:ProB CSPAfterBoardSingleClick.png uploaded a new version of "File:ProB CSPAfterBoardSingleClick.png" current
• 15:2015:20, 10 August 2015 diff hist 0 File:ProB CSPAfterTauSingleClick.png uploaded a new version of "File:ProB CSPAfterTauSingleClick.png" current
• 15:1715:17, 10 August 2015 diff hist 0 File:ProB CSPAfterInit.png uploaded a new version of "File:ProB CSPAfterInit.png" current
• 15:1615:16, 10 August 2015 diff hist 0 File:ProB BusesAfterLoad.png uploaded a new version of "File:ProB BusesAfterLoad.png" current

26 July 2015

• 15:0615:06, 26 July 2015 diff hist −10 Getting Involved →Running ProB from Prolog

12 July 2015

• 07:0207:02, 12 July 2015 diff hist +21 Common Subexpression Elimination No edit summary current
• 07:0107:01, 12 July 2015 diff hist 0 Common Subexpression Elimination →Tips
• 07:0107:01, 12 July 2015 diff hist +546 Common Subexpression Elimination No edit summary

9 July 2015

• 14:1714:17, 9 July 2015 diff hist +74 Links →Related Tools
• 14:1614:16, 9 July 2015 diff hist +73 Links →Related Tools
• 14:1514:15, 9 July 2015 diff hist +7 Links →Related Tools
• 14:1414:14, 9 July 2015 diff hist −17 Links →Related Tools
• 14:1214:12, 9 July 2015 diff hist 0 Links →Related Tools
• 14:1114:11, 9 July 2015 diff hist 0 Links →Related Tools
• 14:1014:10, 9 July 2015 diff hist +51 Links →Tools using ProB

2 July 2015

• 11:4811:48, 2 July 2015 diff hist −10 User Manual →Important notice: Feedback
• 11:4811:48, 2 July 2015 diff hist +12 Template:Feedback →Feedback
• 11:4711:47, 2 July 2015 diff hist +94 Template:Feedback →Feedback
• 11:4411:44, 2 July 2015 diff hist +103 User Manual →Important notice: Feedback
• 11:4111:41, 2 July 2015 diff hist +12 User Manual →Important notice
• 11:4011:40, 2 July 2015 diff hist +62 User Manual →Important notice

30 June 2015

• 06:2506:25, 30 June 2015 diff hist +690 Common Subexpression Elimination →Sharing Predicates