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, 27 July 2010 diff hist +41 Tutorial Rodin First Step No edit summary
07:5207:52, 27 July 2010 diff hist 0 N File:ProBRodinOpChoose.png No edit summary
07:5207:52, 27 July 2010 diff hist 0 N File:ProBRodinInit.png No edit summary
07:5107:51, 27 July 2010 diff hist 0 N File:ProBRodinStart.png No edit summary
07:5107:51, 27 July 2010 diff hist +1,135 N Tutorial Rodin First Step Created page with 'Category:User Manual == Installation == Start off by installing the ProB Plugin for Rodin by choosing "Install new software...". == Starting ProB == Start by right click…'
07:4507:45, 27 July 2010 diff hist +150 Tutorial No edit summary

13:4013:40, 8 July 2010 diff hist +40 The ProB Animator and Model Checker No edit summary
13:3913:39, 8 July 2010 diff hist +6 The ProB Animator and Model Checker No edit summary
13:3913:39, 8 July 2010 diff hist −6 The ProB Animator and Model Checker No edit summary

13:1013:10, 1 July 2010 diff hist 0 Download →Latest Release

11:1511:15, 15 June 2010 diff hist +950 N ProBLicence Created page with 'Category:User Manual == ProB Licence == (C) 2000-2010 Michael Leuschel (and many others; see below) All rights reserved. ProB can now be used freely for commercial, non-co…'
11:1311:13, 15 June 2010 diff hist +53 The ProB Animator and Model Checker No edit summary

14:1214:12, 10 June 2010 diff hist 0 Download →Latest Release

09:5809:58, 2 June 2010 diff hist −1 Tutorial Setup Phases →1. Loading
09:5709:57, 2 June 2010 diff hist +1 Tutorial Setup Phases →1. Loading

11:3811:38, 12 April 2010 diff hist +130 Why Prolog? →A small benchmark
11:3611:36, 12 April 2010 diff hist +107 Why Prolog? →Why SICStus Prolog
11:2611:26, 12 April 2010 diff hist +139 Why Prolog? →Why Prolog
09:1809:18, 12 April 2010 diff hist 0 Why Prolog? →Why Prolog

09:2309:23, 1 April 2010 diff hist +118 Download →Latest Release
07:5407:54, 1 April 2010 diff hist 0 Download →Latest Release

15:0515:05, 30 March 2010 diff hist 0 Download →Latest Release

12:0912:09, 24 March 2010 diff hist +126 Tutorial Understanding ProB's Constraint Solver No edit summary
12:0412:04, 24 March 2010 diff hist +245 Tutorial Understanding ProB's Constraint Solver No edit summary
11:5611:56, 24 March 2010 diff hist +17 Tutorial Understanding the Complexity of B Animation →Undecidability

09:0009:00, 22 March 2010 diff hist 0 Download →Latest Release

16:4016:40, 18 March 2010 diff hist 0 Download →Latest Release

17:3317:33, 12 March 2010 diff hist +75 Using ProB with Atelier B →Extra Features of ProB

15:1315:13, 3 March 2010 diff hist 0 Download →Latest Release
14:5714:57, 3 March 2010 diff hist −3 Download →Latest Release

15:3615:36, 25 February 2010 diff hist +149 Other languages No edit summary
15:3315:33, 25 February 2010 diff hist −11 Other languages No edit summary

18:3318:33, 11 February 2010 diff hist 0 Links No edit summary
18:3318:33, 11 February 2010 diff hist +13 Links →Miscellaneous
18:3218:32, 11 February 2010 diff hist +1,544 N Links Created page with '== Books == * [http://www.jpbowen.com/publications/thes-b.html The B-Book: Assigning programs to meanings, by Jean-Raymond Abrial] (link is to a review by Jonathan Bowen) * [http…'
12:2912:29, 11 February 2010 diff hist +51 Download →Latest Release
12:2912:29, 11 February 2010 diff hist +51 Download →Latest Release

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