User contributions for Michael Leuschel

5 April 2023

• 13:3413:34, 5 April 2023 diff hist −17‎ Download ‎ →‎Latest Release
• 13:3313:33, 5 April 2023 diff hist +9‎ Download ‎No edit summary
• 13:3213:32, 5 April 2023 diff hist 0‎ Download ‎ →‎ProB for Rodin
• 13:3113:31, 5 April 2023 diff hist −2‎ Download ‎ →‎ProB for Rodin
• 13:3013:30, 5 April 2023 diff hist +4‎ Download ‎ →‎Latest Release
• 13:3013:30, 5 April 2023 diff hist +18‎ Download ‎ →‎Latest Release
• 13:2913:29, 5 April 2023 diff hist +72‎ Download ‎ →‎Latest Release
• 13:2713:27, 5 April 2023 diff hist −494‎ Download ‎No edit summary
• 13:1713:17, 5 April 2023 diff hist −1‎ Download ‎ →‎Tcl/Tk on macOS
• 13:1613:16, 5 April 2023 diff hist +23‎ Download ‎ →‎Tcl/Tk on macOS
• 13:1613:16, 5 April 2023 diff hist +11‎ Download ‎ →‎Tcl/Tk on macOS
• 11:3911:39, 5 April 2023 diff hist −1‎ Download ‎ →‎Latest Release
• 11:3911:39, 5 April 2023 diff hist −1‎ Download ‎ →‎Latest Release
• 11:3811:38, 5 April 2023 diff hist +141‎ Download ‎ →‎Latest Release
• 07:3207:32, 5 April 2023 diff hist +1,504‎ DownloadPriorVersions ‎No edit summary

22 March 2023

• 13:0313:03, 22 March 2023 diff hist +665‎ Using ProB with Atelier B ‎ →‎Differences
• 12:5412:54, 22 March 2023 diff hist +2‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 12:5312:53, 22 March 2023 diff hist +164‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 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

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
• 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

15 January 2023

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

19 December 2022

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

15 December 2022

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

14 December 2022

• 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

21 November 2022

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

8 November 2022

• 11:4711:47, 8 November 2022 diff hist 0‎ ProB Logic Calculator ‎No edit summary current