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.

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
10:2010:20, 17 April 2015 diff hist +2,779 Tutorial Directed Model Checking No edit summary
10:0910:09, 17 April 2015 diff hist +10 Using the Command-Line Version of ProB →-mc_mode
10:0810:08, 17 April 2015 diff hist +1,563 N Tutorial Directed Model Checking Created page with 'Category:User Manual We assume that you have completed Tutorial First Model Checking and Complete model checking. Here we will loo…'
09:5809:58, 17 April 2015 diff hist +63 Tutorial No edit summary

17:0917:09, 16 April 2015 diff hist +117 Using the Command-Line Version of ProB →-mc_mode
15:0815:08, 16 April 2015 diff hist +4 Using the Command-Line Version of ProB →-mc_mode M
15:0715:07, 16 April 2015 diff hist +60 Using the Command-Line Version of ProB →-mc_mode M
15:0615:06, 16 April 2015 diff hist +997 Using the Command-Line Version of ProB →-df
15:0015:00, 16 April 2015 diff hist +22 Using the Command-Line Version of ProB →-bf
14:5714:57, 16 April 2015 diff hist +271 Blocks World (Directed Model Checking) No edit summary
14:5514:55, 16 April 2015 diff hist +42 Blocks World (Directed Model Checking) No edit summary
14:5414:54, 16 April 2015 diff hist +353 Blocks World (Directed Model Checking) No edit summary
14:4814:48, 16 April 2015 diff hist +318 Consistency Checking →Using the Model Checker
14:4514:45, 16 April 2015 diff hist 0 Blocks World (Directed Model Checking) No edit summary
14:4114:41, 16 April 2015 diff hist +688 Blocks World (Directed Model Checking) No edit summary
12:0812:08, 16 April 2015 diff hist +53 Blocks World (Directed Model Checking) No edit summary
12:0712:07, 16 April 2015 diff hist 0 N File:ProB BlockGoal Screenshot.png No edit summary current
12:0712:07, 16 April 2015 diff hist 0 N File:ProB MC Heuristic.png No edit summary current
12:0612:06, 16 April 2015 diff hist +314 Blocks World (Directed Model Checking) No edit summary
08:3608:36, 16 April 2015 diff hist +198 Blocks World (Directed Model Checking) No edit summary
08:3308:33, 16 April 2015 diff hist −49 Blocks World (Directed Model Checking) No edit summary
08:3108:31, 16 April 2015 diff hist +1,741 Blocks World (Directed Model Checking) No edit summary
08:2008:20, 16 April 2015 diff hist 0 N File:ProB BlockInit Screenshot.png No edit summary current
08:2008:20, 16 April 2015 diff hist +501 Blocks World (Directed Model Checking) No edit summary
08:1608:16, 16 April 2015 diff hist +2,653 N Blocks World (Directed Model Checking) Created page with 'In this example we want to highlight the new directed model checking features of ProB (available as of version 1.5.1). For this we use the following model of Blocks-World, where…'
08:1008:10, 16 April 2015 diff hist +45 User Manual →Sample Models
08:1008:10, 16 April 2015 diff hist +45 ProB Examples No edit summary
08:0408:04, 16 April 2015 diff hist 0 Cheryl's Birthday No edit summary
08:0408:04, 16 April 2015 diff hist +167 Cheryl's Birthday No edit summary
07:4707:47, 16 April 2015 diff hist 0 N File:ProB Cheryl Screenshot.png No edit summary current
07:4707:47, 16 April 2015 diff hist +112 Cheryl's Birthday No edit summary
07:4607:46, 16 April 2015 diff hist +58 User Manual →Sample Models

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