Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

For Michael Leuschel talk block log uploads logs

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
07:4207:42, 12 April 2022 diff hist +163‎ Download ‎ →‎Java Requirements for B parser

07:5907:59, 29 March 2022 diff hist +99‎ Links ‎ →‎Tools using ProB

09:0409:04, 25 March 2022 diff hist −14‎ VisB ‎ →‎Debugging and HTML Export
09:0309:03, 25 March 2022 diff hist +314‎ VisB ‎ →‎Debugging and HTML Export
06:3106:31, 25 March 2022 diff hist +66‎ VisB ‎ →‎Debugging and HTML Export
06:2606:26, 25 March 2022 diff hist +2‎ VisB ‎ →‎Debugging and HTML Export
06:2506:25, 25 March 2022 diff hist 0‎ File:ProB2UI VisB View Export.png ‎ Michael Leuschel uploaded a new version of File:ProB2UI VisB View Export.png current
06:2306:23, 25 March 2022 diff hist 0‎ N File:ProB2UI VisB Debug Table View.png ‎No edit summary current
06:2306:23, 25 March 2022 diff hist 0‎ N File:ProB2UI VisB View Export.png ‎No edit summary
06:2106:21, 25 March 2022 diff hist +3‎ VisB ‎ →‎Tips and Tricks
06:2006:20, 25 March 2022 diff hist +228‎ VisB ‎No edit summary
06:1906:19, 25 March 2022 diff hist +973‎ VisB ‎ →‎Tips and Tricks
06:0806:08, 25 March 2022 diff hist +123‎ VisB ‎ →‎Tips and Tricks
06:0606:06, 25 March 2022 diff hist +312‎ VisB ‎ →‎Tips and Tricks

06:5506:55, 24 March 2022 diff hist 0‎ Download ‎ →‎Latest Beta Release
06:5306:53, 24 March 2022 diff hist +186‎ LTSmin ‎ →‎LTSmin Extension of ProB current

07:4707:47, 23 March 2022 diff hist +9‎ LTSmin ‎ →‎LTSmin Extension of ProB

09:1709:17, 17 March 2022 diff hist +94‎ Download ‎ →‎ProB2-UI using Java FX

10:4610:46, 16 March 2022 diff hist +170‎ Download ‎ →‎ProB2-UI using Java FX

11:5711:57, 11 March 2022 diff hist +84‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
11:5611:56, 11 March 2022 diff hist +73‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
09:1809:18, 11 March 2022 diff hist +321‎ External Functions ‎ →‎Standard Libraries provided by ProB
09:1509:15, 11 March 2022 diff hist +622‎ External Functions ‎ →‎Standard Libraries provided by ProB

11:0211:02, 4 March 2022 diff hist 0‎ File:DisproverProB2UIStateView2.png ‎ Michael Leuschel uploaded a new version of File:DisproverProB2UIStateView2.png current
11:0111:01, 4 March 2022 diff hist −41‎ Tutorial Disprover ‎ →‎Example
09:3209:32, 4 March 2022 diff hist +38‎ Tutorial Disprover ‎ →‎Example
09:3109:31, 4 March 2022 diff hist 0‎ N File:DisproverExportExample.png ‎No edit summary current
09:3109:31, 4 March 2022 diff hist +41‎ Tutorial Disprover ‎ →‎Example
09:2909:29, 4 March 2022 diff hist +455‎ Tutorial Disprover ‎No edit summary
09:2609:26, 4 March 2022 diff hist 0‎ N File:DisproverProB2UIStateView2.png ‎No edit summary
09:2609:26, 4 March 2022 diff hist 0‎ N File:DisproverProB2UIStateView1.png ‎No edit summary current
09:2609:26, 4 March 2022 diff hist 0‎ N File:CBCStaticAssertionCheck.png ‎No edit summary current
09:2509:25, 4 March 2022 diff hist +122‎ Tutorial Disprover ‎No edit summary
09:2109:21, 4 March 2022 diff hist +1,142‎ Tutorial Disprover ‎ →‎Preferences
09:0409:04, 4 March 2022 diff hist +434‎ Tutorial Disprover ‎ →‎Preferences
08:4408:44, 4 March 2022 diff hist +161‎ Tutorial Disprover ‎ →‎Preferences
08:4208:42, 4 March 2022 diff hist 0‎ N File:DisproverPrefs.png ‎No edit summary current
08:4208:42, 4 March 2022 diff hist +106‎ Tutorial Disprover ‎No edit summary
08:3808:38, 4 March 2022 diff hist −1‎ Tutorial Disprover ‎ →‎WARNING
08:3708:37, 4 March 2022 diff hist +318‎ Tutorial Disprover ‎ →‎WARNING

13:3913:39, 8 February 2022 diff hist +164‎ Template:ProBSourceCode ‎No edit summary

08:5308:53, 7 February 2022 diff hist +11‎ VisB ‎ →‎VisB Definitions
08:5208:52, 7 February 2022 diff hist +88‎ VisB ‎No edit summary

17:0517:05, 4 February 2022 diff hist +205‎ Template:ProBSourceCode ‎No edit summary
17:0317:03, 4 February 2022 diff hist +123‎ Developer Manual ‎No edit summary current
17:0017:00, 4 February 2022 diff hist +59‎ TLC ‎ →‎Translation from B to TLA+ current

08:4908:49, 24 January 2022 diff hist 0‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
08:4908:49, 24 January 2022 diff hist 0‎ N File:ProB AtelierB StartProB Menu.png ‎No edit summary current
08:4808:48, 24 January 2022 diff hist +181‎ Using ProB with Atelier B ‎ →‎ProB as Atelier B Prover

15:3215:32, 23 January 2022 diff hist +762‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin

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