User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,302 edits. Account created on 18 January 2010.

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

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

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)

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

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

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

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

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

07:0207:02, 12 July 2015 diff hist +21 Common Subexpression Elimination No edit summary current

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Michael_Leuschel"