User contributions for Dominik Hansen

4 December 2013

• 15:0915:09, 4 December 2013 diff hist +107‎ TLC ‎No edit summary
• 15:0715:07, 4 December 2013 diff hist 0‎ N File:Model Checking With TLC Trace.png ‎No edit summary current
• 15:0615:06, 4 December 2013 diff hist −7‎ TLC ‎No edit summary
• 15:0215:02, 4 December 2013 diff hist +553‎ TLC ‎No edit summary
• 14:4214:42, 4 December 2013 diff hist 0‎ N File:Model Checking With TLC.png ‎No edit summary current
• 14:4114:41, 4 December 2013 diff hist +178‎ TLC ‎No edit summary
• 14:3014:30, 4 December 2013 diff hist +152‎ TLC ‎ →‎Translation from B to TLA+
• 14:2514:25, 4 December 2013 diff hist −10‎ TLC ‎ →‎Validating B specifications with TLC
• 14:2114:21, 4 December 2013 diff hist +47‎ TLC ‎No edit summary
• 14:1514:15, 4 December 2013 diff hist 0‎ N File:Download TLA Tools.png ‎No edit summary current
• 14:1114:11, 4 December 2013 diff hist +12‎ TLC ‎ →‎Validating B specifications with TLC
• 14:1014:10, 4 December 2013 diff hist +917‎ TLC ‎No edit summary
• 11:4111: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:1510:15, 4 December 2013 diff hist +41‎ Template:User Manual Index ‎ New section for TLC

29 April 2013

• 09:5309:53, 29 April 2013 diff hist +278‎ TLA ‎ →‎Using ProB for Animation and Model Checking of TLA+ specifications

11 October 2012

• 12:3412:34, 11 October 2012 diff hist +1‎ TLA ‎ →‎Limitations of the translation

6 February 2012

• 12:5112:51, 6 February 2012 diff hist 0‎ TLA ‎ →‎Understanding the type checker
• 12:4712:47, 6 February 2012 diff hist −20‎ TLA ‎ →‎Supported TLA+ syntax
• 12:4512:45, 6 February 2012 diff hist +70‎ TLA ‎ →‎TLA2B
• 12:3512:35, 6 February 2012 diff hist −98‎ TLA ‎ →‎Supported TLA+ syntax
• 12:2012:20, 6 February 2012 diff hist −134‎ TLA ‎ →‎Limitations of the translation
• 12:1812:18, 6 February 2012 diff hist −2‎ TLA ‎ →‎TLA+ Actions
• 12:1312:13, 6 February 2012 diff hist −72‎ TLA ‎ →‎Limitations of the translation
• 11:4711:47, 6 February 2012 diff hist −407‎ TLA ‎No edit summary