User contributions for Michael Leuschel

24 February 2016

• 10:0710:07, 24 February 2016 diff hist +40 Download →Java Requirements for B parser
• 10:0610:06, 24 February 2016 diff hist +128 Download →Java Requirements for B parser
• 09:1109:11, 24 February 2016 diff hist −1 Download →Java Requirements for B parser
• 09:1109:11, 24 February 2016 diff hist +284 Download →Java Requirements for B parser
• 09:0609:06, 24 February 2016 diff hist +429 Download →Java Requirements for B parser

23 February 2016

• 16:4116:41, 23 February 2016 diff hist +97 Links →Tools using ProB

19 February 2016

• 07:4507:45, 19 February 2016 diff hist −41 Tutorial Co-Simulation No edit summary
• 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

18 February 2016

• 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

8 February 2016

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

5 February 2016

• 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

3 February 2016

• 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

2 February 2016

• 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