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