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,394 edits. Account created on 18 January 2010.

15:0715:07, 25 September 2015 diff hist +602 Summary of B Syntax →Trees:

10:4610:46, 24 September 2015 diff hist +306 Summary of B Syntax →Differences with AtelierB/B4Free

15:3915:39, 18 September 2015 diff hist −443 FAQ →ProB User Group
15:3915:39, 18 September 2015 diff hist +443 FAQ →Checking Multiple LTL Formulas
15:1115:11, 18 September 2015 diff hist 0 Team No edit summary
15:1015:10, 18 September 2015 diff hist +75 Team No edit summary
15:0915:09, 18 September 2015 diff hist +36 Team No edit summary
15:0815:08, 18 September 2015 diff hist −407 Template:Feedback →Feedback current
15:0715:07, 18 September 2015 diff hist +407 Template:Feedback →Feedback
15:0615:06, 18 September 2015 diff hist +111 Bugs No edit summary
15:0515:05, 18 September 2015 diff hist +66 Links →ProB
15:0315:03, 18 September 2015 diff hist −12 User Manual →Important notice
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

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

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

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

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

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

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

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