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 Dominik Hansen
For
Dominik Hansen
talk
block log
uploads
logs
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
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 250
|
older 250
) (
20
|
50
|
100
|
250
|
500
)
30 March 2016
15:06
15:06, 30 March 2016
diff
hist
−1
Windows Installation Instructions
→Install Java
26 February 2016
14:19
14:19, 26 February 2016
diff
hist
+8
Editors for ProB
No edit summary
3 February 2016
12:34
12:34, 3 February 2016
diff
hist
−59
Die Hard Jugs Puzzle
→TLA+ Version
current
11:11
11:11, 3 February 2016
diff
hist
0
Die Hard Jugs Puzzle
No edit summary
11:11
11:11, 3 February 2016
diff
hist
0
Die Hard Jugs Puzzle
No edit summary
11:03
11:03, 3 February 2016
diff
hist
+3
Die Hard Jugs Puzzle
→TLA+ Version
09:18
09:18, 3 February 2016
diff
hist
+7,973
Die Hard Jugs Puzzle
No edit summary
08:53
08:53, 3 February 2016
diff
hist
+2
Die Hard Jugs Puzzle
No edit summary
13 January 2016
14:09
14:09, 13 January 2016
diff
hist
−199
TLC
No edit summary
18 December 2015
18:07
18:07, 18 December 2015
diff
hist
−9
State space visualization examples
→Alternating Bit Protocol
18:03
18:03, 18 December 2015
diff
hist
+3
State space visualization examples
→Alternating Bit Protocol
21 November 2014
19:56
19:56, 21 November 2014
diff
hist
−10
TLA
→Using ProB for Animation and Model Checking of TLA+ specifications
19:53
19:53, 21 November 2014
diff
hist
−192
TLA
No edit summary
10 November 2014
10:11
10:11, 10 November 2014
diff
hist
+4
TLC
→Visited States
10:10
10:10, 10 November 2014
diff
hist
+1
TLC
→Visited States
10:09
10:09, 10 November 2014
diff
hist
+1
TLC
→Visited States
10:06
10:06, 10 November 2014
diff
hist
−7
TLC
→Visited States
10:06
10:06, 10 November 2014
diff
hist
0
File:NumberOfStates.jpeg
uploaded a new version of "
File:NumberOfStates.jpeg
"
current
10:02
10:02, 10 November 2014
diff
hist
+15
TLC
→Visited States
10:01
10:01, 10 November 2014
diff
hist
+47
TLC
→Visited States
10:00
10:00, 10 November 2014
diff
hist
+29
TLC
→Visited States
10:00
10:00, 10 November 2014
diff
hist
0
N
File:NumberOfStates.jpeg
No edit summary
09:54
09:54, 10 November 2014
diff
hist
0
N
File:NumberOfStates.pdf
No edit summary
current
09:51
09:51, 10 November 2014
diff
hist
+158
TLC
→Visited States
09:47
09:47, 10 November 2014
diff
hist
+295
TLC
No edit summary
31 October 2014
13:42
13:42, 31 October 2014
diff
hist
+55
Team
No edit summary
28 October 2014
12:22
12:22, 28 October 2014
diff
hist
−19
ABZ14
No edit summary
12:19
12:19, 28 October 2014
diff
hist
+34
N
File:Landing system.pdf
Landing Gear Requirements Document
current
12:03
12:03, 28 October 2014
diff
hist
−1
ABZ14
→Ressources
17 October 2014
08:40
08:40, 17 October 2014
diff
hist
−73
TLC
→Limitations
20 May 2014
14:05
14:05, 20 May 2014
diff
hist
+1
Using the Command-Line Version of ProB
→--timeout
12 March 2014
10:34
10:34, 12 March 2014
diff
hist
0
N
File:ABZ14 Paper.pdf
No edit summary
current
29 January 2014
10:34
10:34, 29 January 2014
diff
hist
−1
TLC
→Limitations
10:34
10:34, 29 January 2014
diff
hist
+279
TLC
No edit summary
4 December 2013
15:52
15:52, 4 December 2013
diff
hist
−1
TLC
No edit summary
15:46
15:46, 4 December 2013
diff
hist
+168
TLC
No edit summary
15:26
15:26, 4 December 2013
diff
hist
−2
TLC
No edit summary
15:24
15:24, 4 December 2013
diff
hist
+2
TLC
No edit summary
15:19
15:19, 4 December 2013
diff
hist
−41
TLC
No edit summary
15:17
15:17, 4 December 2013
diff
hist
+46
TLC
No edit summary
15:09
15:09, 4 December 2013
diff
hist
+107
TLC
No edit summary
15:07
15:07, 4 December 2013
diff
hist
0
N
File:Model Checking With TLC Trace.png
No edit summary
current
15:06
15:06, 4 December 2013
diff
hist
−7
TLC
No edit summary
15:02
15:02, 4 December 2013
diff
hist
+553
TLC
No edit summary
14:42
14:42, 4 December 2013
diff
hist
0
N
File:Model Checking With TLC.png
No edit summary
current
14:41
14:41, 4 December 2013
diff
hist
+178
TLC
No edit summary
14:30
14:30, 4 December 2013
diff
hist
+152
TLC
→Translation from B to TLA+
14:25
14:25, 4 December 2013
diff
hist
−10
TLC
→Validating B specifications with TLC
14:21
14:21, 4 December 2013
diff
hist
+47
TLC
No edit summary
14:15
14:15, 4 December 2013
diff
hist
0
N
File:Download TLA Tools.png
No edit summary
current
14:11
14:11, 4 December 2013
diff
hist
+12
TLC
→Validating B specifications with TLC
14:10
14:10, 4 December 2013
diff
hist
+917
TLC
No edit summary
11:41
11:41, 4 December 2013
diff
hist
+155
N
TLC
Created page with 'The model checker [http://research.microsoft.com/en-us/um/people/lamport/tla/tlc.html TLC] has been integrated into ProB (Tcl/Tk) as of version 1.3.7-beta.'
10:15
10:15, 4 December 2013
diff
hist
+41
Template:User Manual Index
New section for TLC
29 April 2013
09:53
09:53, 29 April 2013
diff
hist
+278
TLA
→Using ProB for Animation and Model Checking of TLA+ specifications
11 October 2012
12:34
12:34, 11 October 2012
diff
hist
+1
TLA
→Limitations of the translation
6 February 2012
12:51
12:51, 6 February 2012
diff
hist
0
TLA
→Understanding the type checker
12:47
12:47, 6 February 2012
diff
hist
−20
TLA
→Supported TLA+ syntax
12:45
12:45, 6 February 2012
diff
hist
+70
TLA
→TLA2B
12:35
12:35, 6 February 2012
diff
hist
−98
TLA
→Supported TLA+ syntax
12:20
12:20, 6 February 2012
diff
hist
−134
TLA
→Limitations of the translation
12:18
12:18, 6 February 2012
diff
hist
−2
TLA
→TLA+ Actions
12:13
12:13, 6 February 2012
diff
hist
−72
TLA
→Limitations of the translation
11:47
11:47, 6 February 2012
diff
hist
−407
TLA
No edit summary
(
newest
|
oldest
) View (
newer 250
|
older 250
) (
20
|
50
|
100
|
250
|
500
)