User contributions for Michael Leuschel - ProB Documentation
Toggle navigation
Components
ProB Cli
ProB Tcl/Tk
ProB Java API
BMotionWeb
ProB for Rodin
ProB for TLA
Documentation
ProB Tcl/Tk
BMotionWeb
ProB Java API
Download
Bugs
Links
Team
Navigation
Main Page
User Manual
Tutorials
Developer Manual
Benchmarks
Licence
Logic Calculator
Special Pages
Recent changes
User
Log in
Go
Search
Help
User contributions for Michael Leuschel
Results for
Michael Leuschel
talk
block log
uploads
logs
A user with 3,302 edits. Account created on 18 January 2010.
Search for contributions
Expand
Collapse
⧼contribs-top⧽
IP address or username:
Namespace:
all
(Main)
Talk
User
User talk
ProB Documentation
ProB Documentation talk
File
File talk
MediaWiki
MediaWiki talk
Template
Template talk
Help
Help talk
Category
Category talk
Invert selection
Associated namespace
Tag
filter:
Manual revert
New redirect
Replaced
Reverted
Invert selection
Only show edits that are latest revisions
Only show edits that are page creations
Hide minor edits
⧼contribs-date⧽
From date:
To date:
Search
(
newest
|
oldest
) View (
newer 50
|
older 50
) (
20
|
50
|
100
|
250
|
500
)
17 April 2015
12:18
12:18, 17 April 2015
diff
hist
+642
Tutorial Directed Model Checking
→
Depth-First
12:14
12:14, 17 April 2015
diff
hist
+296
Tutorial Directed Model Checking
→
Breadth-First
12:12
12:12, 17 April 2015
diff
hist
+694
Tutorial Directed Model Checking
No edit summary
10:50
10:50, 17 April 2015
diff
hist
+1
Tutorial Directed Model Checking
→
Breadth-First
10:45
10:45, 17 April 2015
diff
hist
+54
Blocks World (Directed Model Checking)
No edit summary
10:43
10:43, 17 April 2015
diff
hist
+108
Blocks World (Directed Model Checking)
No edit summary
10:41
10:41, 17 April 2015
diff
hist
+171
Blocks World (Directed Model Checking)
No edit summary
10:36
10:36, 17 April 2015
diff
hist
+352
Tutorial Directed Model Checking
→
Out-Degree
10:33
10:33, 17 April 2015
diff
hist
+98
Tutorial Directed Model Checking
No edit summary
10:32
10:32, 17 April 2015
diff
hist
+156
Tutorial Directed Model Checking
→
Mixed
10:31
10:31, 17 April 2015
diff
hist
+166
Tutorial Directed Model Checking
→
Random
10:30
10:30, 17 April 2015
diff
hist
0
Tutorial Directed Model Checking
→
Hash
10:29
10:29, 17 April 2015
diff
hist
+176
Tutorial Directed Model Checking
→
Hash
10:28
10:28, 17 April 2015
diff
hist
+12
Tutorial Directed Model Checking
→
Mixed
10:28
10:28, 17 April 2015
diff
hist
0
Tutorial Directed Model Checking
→
Depth-First
10:28
10:28, 17 April 2015
diff
hist
0
Tutorial Directed Model Checking
→
Breadth-First
10:28
10:28, 17 April 2015
diff
hist
0
Tutorial Directed Model Checking
→
Depth-First
10:27
10:27, 17 April 2015
diff
hist
0
Tutorial Directed Model Checking
→
Breadth-First
10:27
10:27, 17 April 2015
diff
hist
0
N
File:ProB Phonebook7 spdot mixed2.png
No edit summary
current
10:27
10:27, 17 April 2015
diff
hist
0
N
File:ProB Phonebook7 spdot mixed1.png
No edit summary
current
10:26
10:26, 17 April 2015
diff
hist
0
N
File:ProB Phonebook7 spdot random2.png
No edit summary
current
10:26
10:26, 17 April 2015
diff
hist
0
N
File:ProB Phonebook7 spdot random1.png
No edit summary
current
10:26
10:26, 17 April 2015
diff
hist
0
N
File:ProB Phonebook7 spdot hash.png
No edit summary
current
10:26
10:26, 17 April 2015
diff
hist
0
N
File:ProB Phonebook7 spdot dlk.png
No edit summary
current
10:24
10:24, 17 April 2015
diff
hist
0
N
File:ProB Phonebook7 spdot df.png
No edit summary
current
10:23
10:23, 17 April 2015
diff
hist
+31
Tutorial Directed Model Checking
No edit summary
10:22
10:22, 17 April 2015
diff
hist
0
N
File:ProB Phonebook7 spdot bf.png
No edit summary
current
10:21
10:21, 17 April 2015
diff
hist
−1
Tutorial Directed Model Checking
→
Breadth-First
10:20
10:20, 17 April 2015
diff
hist
+2,779
Tutorial Directed Model Checking
No edit summary
10:09
10:09, 17 April 2015
diff
hist
+10
Using the Command-Line Version of ProB
→
-mc_mode
10:08
10: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:58
09:58, 17 April 2015
diff
hist
+63
Tutorial
No edit summary
16 April 2015
17:09
17:09, 16 April 2015
diff
hist
+117
Using the Command-Line Version of ProB
→
-mc_mode
15:08
15:08, 16 April 2015
diff
hist
+4
Using the Command-Line Version of ProB
→
-mc_mode M
15:07
15:07, 16 April 2015
diff
hist
+60
Using the Command-Line Version of ProB
→
-mc_mode M
15:06
15:06, 16 April 2015
diff
hist
+997
Using the Command-Line Version of ProB
→
-df
15:00
15:00, 16 April 2015
diff
hist
+22
Using the Command-Line Version of ProB
→
-bf
14:57
14:57, 16 April 2015
diff
hist
+271
Blocks World (Directed Model Checking)
No edit summary
14:55
14:55, 16 April 2015
diff
hist
+42
Blocks World (Directed Model Checking)
No edit summary
14:54
14:54, 16 April 2015
diff
hist
+353
Blocks World (Directed Model Checking)
No edit summary
14:48
14:48, 16 April 2015
diff
hist
+318
Consistency Checking
→
Using the Model Checker
14:45
14:45, 16 April 2015
diff
hist
0
Blocks World (Directed Model Checking)
No edit summary
14:41
14:41, 16 April 2015
diff
hist
+688
Blocks World (Directed Model Checking)
No edit summary
12:08
12:08, 16 April 2015
diff
hist
+53
Blocks World (Directed Model Checking)
No edit summary
12:07
12:07, 16 April 2015
diff
hist
0
N
File:ProB BlockGoal Screenshot.png
No edit summary
current
12:07
12:07, 16 April 2015
diff
hist
0
N
File:ProB MC Heuristic.png
No edit summary
current
12:06
12:06, 16 April 2015
diff
hist
+314
Blocks World (Directed Model Checking)
No edit summary
08:36
08:36, 16 April 2015
diff
hist
+198
Blocks World (Directed Model Checking)
No edit summary
08:33
08:33, 16 April 2015
diff
hist
−49
Blocks World (Directed Model Checking)
No edit summary
08:31
08:31, 16 April 2015
diff
hist
+1,741
Blocks World (Directed Model Checking)
No edit summary
(
newest
|
oldest
) View (
newer 50
|
older 50
) (
20
|
50
|
100
|
250
|
500
)
