User contributions for Michael Leuschel

13:3113:31, 22 June 2015 diff hist +66 ProB Examples No edit summary current
11:5111:51, 22 June 2015 diff hist +355 Nine Prisoners No edit summary
11:5011:50, 22 June 2015 diff hist −69 Nine Prisoners →Adding graphical visualization
11:4811:48, 22 June 2015 diff hist +635 Nine Prisoners No edit summary
11:4411:44, 22 June 2015 diff hist 0 N File:ProB NinePrisoners Fancy.png No edit summary current
11:4411:44, 22 June 2015 diff hist 0 N File:ProB NinePrisoners Simple.png No edit summary current
11:4311:43, 22 June 2015 diff hist +3,157 N Nine Prisoners Created page with 'An [https://www.quantamagazine.org/20150609-a-design-dilemma-solved-minus-designs/ article in Quanta magazine] mentions the following puzzle by Dudeney and popularized by Martin …'
11:3611:36, 22 June 2015 diff hist +66 User Manual →Sample Models

10:0710:07, 27 April 2015 diff hist 0 ProB Logic Calculator No edit summary
10:0610:06, 27 April 2015 diff hist +121 ProB Logic Calculator No edit summary
09:5909:59, 27 April 2015 diff hist 0 ProB Logic Calculator No edit summary
09:5909:59, 27 April 2015 diff hist 0 ProB Logic Calculator No edit summary
09:5809:58, 27 April 2015 diff hist 0 ProB Logic Calculator No edit summary

09:2209:22, 18 April 2015 diff hist +13 Cheryl's Birthday No edit summary current
09:2109:21, 18 April 2015 diff hist +1 Cheryl's Birthday No edit summary
09:0609:06, 18 April 2015 diff hist −1 Cheryl's Birthday No edit summary
09:0409:04, 18 April 2015 diff hist +1 Cheryl's Birthday No edit summary
09:0409:04, 18 April 2015 diff hist +72 Cheryl's Birthday No edit summary
08:4308:43, 18 April 2015 diff hist +38 Cheryl's Birthday No edit summary
08:4308:43, 18 April 2015 diff hist +79 Cheryl's Birthday No edit summary
08:4108:41, 18 April 2015 diff hist +468 Cheryl's Birthday No edit summary

12:2112:21, 17 April 2015 diff hist +587 Tutorial Directed Model Checking →Mixed DF/BF
12:1812:18, 17 April 2015 diff hist +642 Tutorial Directed Model Checking →Depth-First
12:1412:14, 17 April 2015 diff hist +296 Tutorial Directed Model Checking →Breadth-First
12:1212:12, 17 April 2015 diff hist +694 Tutorial Directed Model Checking No edit summary
10:5010:50, 17 April 2015 diff hist +1 Tutorial Directed Model Checking →Breadth-First
10:4510:45, 17 April 2015 diff hist +54 Blocks World (Directed Model Checking) No edit summary
10:4310:43, 17 April 2015 diff hist +108 Blocks World (Directed Model Checking) No edit summary
10:4110:41, 17 April 2015 diff hist +171 Blocks World (Directed Model Checking) No edit summary
10:3610:36, 17 April 2015 diff hist +352 Tutorial Directed Model Checking →Out-Degree
10:3310:33, 17 April 2015 diff hist +98 Tutorial Directed Model Checking No edit summary
10:3210:32, 17 April 2015 diff hist +156 Tutorial Directed Model Checking →Mixed
10:3110:31, 17 April 2015 diff hist +166 Tutorial Directed Model Checking →Random
10:3010:30, 17 April 2015 diff hist 0 Tutorial Directed Model Checking →Hash
10:2910:29, 17 April 2015 diff hist +176 Tutorial Directed Model Checking →Hash
10:2810:28, 17 April 2015 diff hist +12 Tutorial Directed Model Checking →Mixed
10:2810:28, 17 April 2015 diff hist 0 Tutorial Directed Model Checking →Depth-First
10:2810:28, 17 April 2015 diff hist 0 Tutorial Directed Model Checking →Breadth-First
10:2810:28, 17 April 2015 diff hist 0 Tutorial Directed Model Checking →Depth-First
10:2710:27, 17 April 2015 diff hist 0 Tutorial Directed Model Checking →Breadth-First
10:2710:27, 17 April 2015 diff hist 0 N File:ProB Phonebook7 spdot mixed2.png No edit summary current
10:2710:27, 17 April 2015 diff hist 0 N File:ProB Phonebook7 spdot mixed1.png No edit summary current
10:2610:26, 17 April 2015 diff hist 0 N File:ProB Phonebook7 spdot random2.png No edit summary current
10:2610:26, 17 April 2015 diff hist 0 N File:ProB Phonebook7 spdot random1.png No edit summary current
10:2610:26, 17 April 2015 diff hist 0 N File:ProB Phonebook7 spdot hash.png No edit summary current
10:2610:26, 17 April 2015 diff hist 0 N File:ProB Phonebook7 spdot dlk.png No edit summary current
10:2410:24, 17 April 2015 diff hist 0 N File:ProB Phonebook7 spdot df.png No edit summary current
10:2310:23, 17 April 2015 diff hist +31 Tutorial Directed Model Checking No edit summary
10:2210:22, 17 April 2015 diff hist 0 N File:ProB Phonebook7 spdot bf.png No edit summary current
10:2110:21, 17 April 2015 diff hist −1 Tutorial Directed Model Checking →Breadth-First

User contributions for Michael Leuschel

22 June 2015

27 April 2015

18 April 2015

17 April 2015