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.

08:4608:46, 2 November 2015 diff hist −32 Download →Nightly Build

07:0707:07, 31 October 2015 diff hist +135 Tips: Writing Models for ProB →Existential Quantifiers
07:0607:06, 31 October 2015 diff hist +1,512 Tips: Writing Models for ProB No edit summary

08:1808:18, 28 October 2015 diff hist −2 Tutorial Symbolic Constants No edit summary current
08:1808:18, 28 October 2015 diff hist +189 Tutorial Symbolic Constants No edit summary
06:4606:46, 28 October 2015 diff hist +148 Recursively Defined Functions →When does ProB treat a set comprehension or lambda abstraction symbolically ?

10:3610:36, 26 October 2015 diff hist +129 Download →Latest Release

10:0510:05, 13 October 2015 diff hist +382 Event-B Theories →Error Messages
10:0210:02, 13 October 2015 diff hist +28 Event-B Theories →Error Messages
10:0110:01, 13 October 2015 diff hist +234 Event-B Theories →Tagging operators

19:5219:52, 28 September 2015 diff hist +78 Summary of B Syntax →Trees:
14:2514:25, 28 September 2015 diff hist +47 Summary of B Syntax →Trees:
07:4907:49, 28 September 2015 diff hist +376 Summary of B Syntax →Trees:

16:3116:31, 25 September 2015 diff hist +23 Summary of B Syntax →Strings:
16:3016:30, 25 September 2015 diff hist +175 Summary of B Syntax →Strings:
15:0715:07, 25 September 2015 diff hist −2 Summary of B Syntax →Trees:
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

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