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 500
|
older 500
) (
20
|
50
|
100
|
250
|
500
)
4 December 2013
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 500
|
older 500
) (
20
|
50
|
100
|
250
|
500
)