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

08:4008:40, 18 November 2015 diff hist +1 Well-Definedness Checking No edit summary
08:3908:39, 18 November 2015 diff hist +469 Well-Definedness Checking No edit summary
08:3408:34, 18 November 2015 diff hist +108 Tutorial Debugging Well-Definedness and Transition Errors No edit summary current
08:3208:32, 18 November 2015 diff hist +83 Tutorial Debugging Well-Definedness and Transition Errors No edit summary
08:3108:31, 18 November 2015 diff hist +30 Using ProB with Atelier B →Limitations
08:3108:31, 18 November 2015 diff hist −30 Summary of B Syntax →Differences with AtelierB/B4Free
08:3008:30, 18 November 2015 diff hist +30 Summary of B Syntax No edit summary
08:3008:30, 18 November 2015 diff hist −8 Well-Definedness Checking No edit summary
08:3008:30, 18 November 2015 diff hist +206 Well-Definedness Checking No edit summary
08:2908:29, 18 November 2015 diff hist +1,235 N Well-Definedness Checking Created page with " Well-definedness errors can occur in B in the following circumstances: * a division by 0: <tt>r=100/0</tt> * modulo by 0, modulo involving negative numbers * exponentiation u..."
08:2108:21, 18 November 2015 diff hist +32 Template:User Manual Index No edit summary

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

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