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

11:1511:15, 24 November 2015 diff hist +20 Apples and Oranges (Apple Interview Question) No edit summary current
11:1311:13, 24 November 2015 diff hist +1 Apples and Oranges (Apple Interview Question) No edit summary
11:1311:13, 24 November 2015 diff hist 0 N File:ProB ApplesOranges Table.png No edit summary current
11:1311:13, 24 November 2015 diff hist +269 Apples and Oranges (Apple Interview Question) No edit summary
10:0910:09, 24 November 2015 diff hist +448 Apples and Oranges (Apple Interview Question) No edit summary
07:5807:58, 24 November 2015 diff hist −1 Apples and Oranges (Apple Interview Question) No edit summary

15:5215:52, 23 November 2015 diff hist +1 Apples and Oranges (Apple Interview Question) No edit summary
13:1213:12, 23 November 2015 diff hist −1 Apples and Oranges (Apple Interview Question) No edit summary
13:1013:10, 23 November 2015 diff hist +210 Apples and Oranges (Apple Interview Question) No edit summary
13:0713:07, 23 November 2015 diff hist +2,240 N Apples and Oranges (Apple Interview Question) Created page with "This puzzle is [https://bgr.com/2015/11/20/apple-interview-questions/ apparently an Interview question at Apple]. Quoting from [https://bgr.com/2015/11/20/apple-interview-ques..."
12:5512:55, 23 November 2015 diff hist +52 User Manual →Sample Models

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

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