Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

For Michael Leuschel talk block log uploads logs

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

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

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

07:5507:55, 5 September 2022 diff hist −1‎ Links ‎ →‎Testimonials
07:5507:55, 5 September 2022 diff hist +11‎ Links ‎ →‎Testimonials
07:5407:54, 5 September 2022 diff hist +516‎ Links ‎ →‎Testimonials

15:4715:47, 18 August 2022 diff hist −99‎ Links ‎ →‎Tools using ProB
15:4715:47, 18 August 2022 diff hist +99‎ Links ‎ →‎Related Tools
15:4715:47, 18 August 2022 diff hist +48‎ Links ‎ →‎Tools using ProB

08:2208:22, 27 June 2022 diff hist +33‎ Team ‎No edit summary

11:0911:09, 24 June 2022 diff hist +2‎ The ProB Animator and Model Checker ‎No edit summary
11:0811:08, 24 June 2022 diff hist −787‎ The ProB Animator and Model Checker ‎ →‎Citing ProB
11:0611:06, 24 June 2022 diff hist +1,434‎ N Citing ProB ‎ Created page with " The initial conference publication was: * Michael Leuschel & Michael Butler (2003): ProB: A Model Checker for B. In Keijiro Araki, Stefania Gnesi & Dino Mandrioli, editors:..." current
11:0611:06, 24 June 2022 diff hist +488‎ The ProB Animator and Model Checker ‎No edit summary
10:5510:55, 24 June 2022 diff hist +11‎ The ProB Animator and Model Checker ‎No edit summary
10:5410:54, 24 June 2022 diff hist +3‎ The ProB Animator and Model Checker ‎No edit summary
10:5210:52, 24 June 2022 diff hist +976‎ The ProB Animator and Model Checker ‎ →‎Versions of ProB

11:3111:31, 23 June 2022 diff hist −105‎ Caching Constants and Operations ‎ →‎Example current
11:3011:30, 23 June 2022 diff hist −129‎ Caching Constants and Operations ‎ →‎Example
11:2411:24, 23 June 2022 diff hist +64‎ Caching Constants and Operations ‎No edit summary

15:0415:04, 3 June 2022 diff hist +18‎ Debugging ‎ →‎Debugging Constant Size current
15:0215:02, 3 June 2022 diff hist +134‎ Debugging ‎ →‎Debugging Constant Size
15:0115:01, 3 June 2022 diff hist +15‎ Debugging ‎ →‎Debugging Constant Size
15:0015:00, 3 June 2022 diff hist +2,952‎ Debugging ‎ →‎Debugging Constant Size =
14:5314:53, 3 June 2022 diff hist +2,281‎ Debugging ‎ →‎Debugging Constants Setup
14:4614:46, 3 June 2022 diff hist +800‎ Debugging ‎ →‎Debugging Constants Setup
13:5713:57, 3 June 2022 diff hist +228‎ Debugging ‎ →‎Debugging Constants Setup

11:0911:09, 24 May 2022 diff hist +304‎ Links ‎ →‎Testimonials
11:0611:06, 24 May 2022 diff hist 0‎ Links ‎ →‎Testimonials
11:0611:06, 24 May 2022 diff hist +583‎ Links ‎ →‎Testimonials

11:2711:27, 25 April 2022 diff hist 0‎ Download ‎ →‎Latest Beta Release

08:2608:26, 15 April 2022 diff hist −8‎ Template:ProBSourceCode ‎No edit summary

07:4707:47, 12 April 2022 diff hist −1‎ Download ‎ →‎Latest Release
07:4607:46, 12 April 2022 diff hist +37‎ Download ‎ →‎Latest Release
07:4507:45, 12 April 2022 diff hist −186‎ Download ‎ →‎Java Requirements for B parser

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