User contributions for Michael Leuschel

22 March 2023

• 12:4512:45, 22 March 2023 diff hist −9 Using ProB with Atelier B No edit summary

4 March 2023

• 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

15 February 2023

• 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

24 January 2023

• 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

20 January 2023

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

16 January 2023

• 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