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

12:5112:51, 22 March 2023 diff hist +92 Using ProB with Atelier B →Extra Features of ProB
12:4612:46, 22 March 2023 diff hist +8 Using ProB with Atelier B No edit summary
12:4512:45, 22 March 2023 diff hist −9 Using ProB with Atelier B No edit summary

14:2414:24, 4 March 2023 diff hist +33 LTL Model Checking →LTL Preferences current
14:2114:21, 4 March 2023 diff hist −11 LTL Model Checking →Safety Properties
14:2014:20, 4 March 2023 diff hist −6 LTL Model Checking →Safety Properties
14:2014:20, 4 March 2023 diff hist +1,156 LTL Model Checking →Setting Fairness Constraints
14:1914:19, 4 March 2023 diff hist +584 LTL Model Checking →Supported Syntax

16:3116:31, 15 February 2023 diff hist +5 Links →Books and Resources on B
16:2916:29, 15 February 2023 diff hist +115 Links →Books
16:2716:27, 15 February 2023 diff hist +155 Links →Books
16:2416:24, 15 February 2023 diff hist +81 Links →Books

08:2708:27, 24 January 2023 diff hist +86 VisB →Using the VisB exported HTML file
08:1208:12, 24 January 2023 diff hist +22 VisB →Using the VisB exported HTML file
08:1108:11, 24 January 2023 diff hist −1 VisB →Using the VisB exported HTML file
08:1108:11, 24 January 2023 diff hist 0 N File:ProB2UI VisB View ExportedHTML.png No edit summary current
08:1108:11, 24 January 2023 diff hist +102 VisB →Debugging and HTML Export
08:0808:08, 24 January 2023 diff hist 0 VisB →Debugging and HTML Export
08:0708:07, 24 January 2023 diff hist +447 VisB →Debugging and HTML Export

17:2917:29, 20 January 2023 diff hist +6 VisB →Items and Events

09:5409:54, 16 January 2023 diff hist +61 VisB →Items and Events
09:5409:54, 16 January 2023 diff hist +304 VisB →Items and Events
09:1709:17, 16 January 2023 diff hist +244 VisB →VisB Attributes
09:0409:04, 16 January 2023 diff hist +332 VisB →VisB Attributes
09:0109:01, 16 January 2023 diff hist +155 VisB No edit summary

09:0509:05, 15 January 2023 diff hist +172 VisB No edit summary

11:5611:56, 19 December 2022 diff hist −2 Tutorial Disprover →Disprover Export Example current

10:3110:31, 15 December 2022 diff hist +21 Download →Tcl/Tk on macOS

16:0016:00, 14 December 2022 diff hist +170 The ProB Animator and Model Checker No edit summary
15:5815:58, 14 December 2022 diff hist +160 The ProB Animator and Model Checker No edit summary

08:3508:35, 21 November 2022 diff hist +90 Links →Tools using ProB

11:4711:47, 8 November 2022 diff hist 0 ProB Logic Calculator No edit summary current
11:4611:46, 8 November 2022 diff hist +23 ProB Logic Calculator →Executing the Calculator locally
11:4411:44, 8 November 2022 diff hist 0 N File:ProBTerminalizerReplDemo.gif No edit summary current
11:4311:43, 8 November 2022 diff hist −39 ProB Logic Calculator →Executing the Calculator locally
11:3811:38, 8 November 2022 diff hist 0 File:ProBTerminalizerDemo.gif Michael Leuschel uploaded a new version of File:ProBTerminalizerDemo.gif current

17:0717:07, 6 November 2022 diff hist 0 Using the Command-Line Version of ProB No edit summary
17:0617:06, 6 November 2022 diff hist 0 N File:ProBTerminalizerDemo.gif No edit summary
17:0317:03, 6 November 2022 diff hist +49 Using the Command-Line Version of ProB No edit summary

14:2914:29, 17 October 2022 diff hist −36 ProB Logic Calculator No edit summary
14:2914:29, 17 October 2022 diff hist −12 ProB Logic Calculator No edit summary

10:4310:43, 10 October 2022 diff hist −1 Download →Tcl/Tk on macOS
10:4110:41, 10 October 2022 diff hist +50 Download →Tcl/Tk on macOS

16:2416:24, 27 September 2022 diff hist +171 Event-B Theories →Tagging operators
14:2914:29, 27 September 2022 diff hist +303 Links →Testimonials

10:1710:17, 26 September 2022 diff hist +159 Event-B Theories →Tagging operators

12:1312:13, 21 September 2022 diff hist +1 Event-B Theories →Tagging operators
12:1212:12, 21 September 2022 diff hist +117 Event-B Theories →Tagging operators

13:3513:35, 9 September 2022 diff hist −5 Download →Tcl/Tk on Windows
13:3413:34, 9 September 2022 diff hist +446 Download →Tcl/Tk on Windows

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