User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,321 edits. Account created on 18 January 2010.

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

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