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,324 edits. Account created on 18 January 2010.

07:4407:44, 19 February 2016 diff hist +283 Tutorial Co-Simulation No edit summary
07:4007:40, 19 February 2016 diff hist −2 Tutorial Co-Simulation →Overview
07:3807:38, 19 February 2016 diff hist +704 Tutorial Co-Simulation →Overview

14:5214:52, 18 February 2016 diff hist −1 N-Bishops Puzzle No edit summary current
14:5114:51, 18 February 2016 diff hist +257 N-Bishops Puzzle No edit summary
14:4614:46, 18 February 2016 diff hist +136 N-Bishops Puzzle No edit summary
14:4314:43, 18 February 2016 diff hist 0 N File:ProB Bishops 8 14 Screenshot.png No edit summary current
14:4314:43, 18 February 2016 diff hist +1,046 N-Bishops Puzzle No edit summary
14:3714:37, 18 February 2016 diff hist +979 N N-Bishops Puzzle Created page with "This puzzle is a variation of the N-Queens puzzle: we try to place as many bishops as possible on a n by n chess board. In contrast to the N-Queens puzzle, one can place m..."
14:3114:31, 18 February 2016 diff hist +23 User Manual →Sample Models

12:4512:45, 8 February 2016 diff hist +1,287 Tips: Writing Models for ProB →Existential Quantifiers

07:1207:12, 5 February 2016 diff hist +16 Using ProB with Atelier B →Limitations
07:0907:09, 5 February 2016 diff hist −1 Using ProB with Atelier B →Extra Features of ProB
07:0907:09, 5 February 2016 diff hist +385 Using ProB with Atelier B No edit summary

15:1415:14, 3 February 2016 diff hist +44 Tips: Writing Models for ProB →Transitive Closure in Event-B
15:1215:12, 3 February 2016 diff hist +499 Tips: Writing Models for ProB No edit summary
15:0315:03, 3 February 2016 diff hist +7 FAQ →How do I perform a self-check of ProB?
15:0215:02, 3 February 2016 diff hist +288 FAQ No edit summary
08:4208:42, 3 February 2016 diff hist +177 Tips: B Idioms →Let for predicates
08:4008:40, 3 February 2016 diff hist −2 Tips: B Idioms →Let for expressions
08:4008:40, 3 February 2016 diff hist +82 Tips: B Idioms →If-Then-Else
08:1708:17, 3 February 2016 diff hist +232 Tips: B Idioms →Recursion using closure1
08:1508:15, 3 February 2016 diff hist +2 Tips: B Idioms →Recursion using closure1
08:1408:14, 3 February 2016 diff hist +1,235 Tips: B Idioms No edit summary
08:0508:05, 3 February 2016 diff hist 0 Tips: B Idioms No edit summary
08:0408:04, 3 February 2016 diff hist +616 Tips: B Idioms No edit summary
07:0507:05, 3 February 2016 diff hist +226 Tips: B Idioms No edit summary
06:5806:58, 3 February 2016 diff hist +73 Tips: B Idioms →Let for expressions
06:5606:56, 3 February 2016 diff hist +98 Tips: B Idioms →Let for expressions
06:5506:55, 3 February 2016 diff hist +108 Tips: B Idioms →Let for predicates
06:5506:55, 3 February 2016 diff hist +447 N Tips: B Idioms Created page with " Also have a look at Tips:_Writing_Models_for_ProB. == LET == Classical B only has a LET substitution, no let construct for predicates or expressions. Event-B has no let..."
06:5006:50, 3 February 2016 diff hist +67 Template:User Manual Index No edit summary

07:3207:32, 2 February 2016 diff hist +321 Die Hard Jugs Puzzle No edit summary
07:1807:18, 2 February 2016 diff hist −276 Die Hard Jugs Puzzle No edit summary
07:1607:16, 2 February 2016 diff hist +777 Die Hard Jugs Puzzle No edit summary
07:1507:15, 2 February 2016 diff hist +4 Die Hard Jugs Puzzle No edit summary
07:1207:12, 2 February 2016 diff hist 0 N File:ProB DieHard Screenshot.png No edit summary current
07:1207:12, 2 February 2016 diff hist +855 Die Hard Jugs Puzzle No edit summary
07:0807:08, 2 February 2016 diff hist +4 Die Hard Jugs Puzzle No edit summary
07:0807:08, 2 February 2016 diff hist +121 Die Hard Jugs Puzzle No edit summary
07:0707:07, 2 February 2016 diff hist 0 Die Hard Jugs Puzzle No edit summary
07:0607:06, 2 February 2016 diff hist 0 File:ProB Goal Found.png Michael Leuschel uploaded a new version of File:ProB Goal Found.png current
07:0607:06, 2 February 2016 diff hist 0 Die Hard Jugs Puzzle No edit summary
07:0507:05, 2 February 2016 diff hist 0 File:Jars Panes.png Michael Leuschel uploaded a new version of File:Jars Panes.png current
07:0507:05, 2 February 2016 diff hist 0 N File:ProB Goal Found.png No edit summary
07:0407:04, 2 February 2016 diff hist 0 N File:Jars Panes.png No edit summary
07:0407:04, 2 February 2016 diff hist 0 N File:ProB ModelCheckGoalBox.png No edit summary current
07:0307:03, 2 February 2016 diff hist +2,224 N Die Hard Jugs Puzzle Created page with "This is the B model of a puzzle from the movie "Die Hard with a Vengeance". This [https://www.youtube.com/watch?v=BVtQNK_ZUJg|clip shows Bruce Willis and Samuel Jackson having..."
06:5506:55, 2 February 2016 diff hist +27 User Manual →Sample Models

20:3020:30, 1 February 2016 diff hist +41 User Manual →Sample Models

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