User contributions for Michael Leuschel

27 June 2022

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

24 June 2022

• 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

23 June 2022

• 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

3 June 2022

• 15:0415:04, 3 June 2022 diff hist +18 Debugging →Debugging Constant Size
• 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

24 May 2022

• 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

25 April 2022

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

15 April 2022

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

12 April 2022

• 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

29 March 2022

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

25 March 2022

• 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

24 March 2022

• 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

23 March 2022

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

17 March 2022

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

16 March 2022

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

11 March 2022

• 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

4 March 2022

• 11:0211:02, 4 March 2022 diff hist 0 File:DisproverProB2UIStateView2.png Michael Leuschel uploaded a new version of File:DisproverProB2UIStateView2.png current