User contributions for Dominik Hansen

11 August 2016

• 12:0512:05, 11 August 2016 diff hist −3‎ TLC ‎No edit summary
• 12:0212:02, 11 August 2016 diff hist +132‎ TLC ‎No edit summary

7 July 2016

• 08:2808:28, 7 July 2016 diff hist −128‎ Editors for ProB ‎ →‎Atom

6 July 2016

• 10:1410:14, 6 July 2016 diff hist 0‎ File:ProB-Atom-Package.zip ‎ Dominik Hansen uploaded a new version of File:ProB-Atom-Package.zip current
• 10:1310:13, 6 July 2016 diff hist +16‎ Editors for ProB ‎ →‎Atom
• 10:1210:12, 6 July 2016 diff hist −2‎ Editors for ProB ‎ →‎Atom
• 09:3709:37, 6 July 2016 diff hist 0‎ Editors for ProB ‎ →‎Atom
• 09:3609:36, 6 July 2016 diff hist +13‎ Editors for ProB ‎ →‎Atom
• 09:3509:35, 6 July 2016 diff hist 0‎ File:ProB-Atom-Package.zip ‎ Dominik Hansen uploaded a new version of File:ProB-Atom-Package.zip
• 05:3705:37, 6 July 2016 diff hist 0‎ N File:ProB-Atom-Package.zip ‎No edit summary
• 05:3605:36, 6 July 2016 diff hist −15‎ Editors for ProB ‎ →‎Atom
• 05:3405:34, 6 July 2016 diff hist +47‎ Editors for ProB ‎ →‎Atom
• 05:3305:33, 6 July 2016 diff hist 0‎ Editors for ProB ‎ →‎Atom
• 05:3305:33, 6 July 2016 diff hist 0‎ Editors for ProB ‎ →‎Atom
• 05:3205:32, 6 July 2016 diff hist +1‎ Editors for ProB ‎ →‎Atom
• 05:3105:31, 6 July 2016 diff hist +68‎ Editors for ProB ‎ →‎Atom

31 March 2016

• 09:1509:15, 31 March 2016 diff hist −8‎ ProB for TLA ‎ Redirected page to TLA current

30 March 2016

• 15:1415:14, 30 March 2016 diff hist 0‎ File:ProBWindowsDownload.png ‎ Dominik Hansen uploaded a new version of File:ProBWindowsDownload.png current
• 15:1315:13, 30 March 2016 diff hist 0‎ File:ProBWindowsDownload.png ‎ Dominik Hansen uploaded a new version of File:ProBWindowsDownload.png
• 15:1015:10, 30 March 2016 diff hist 0‎ File:ProBWindowsDownload.png ‎ Dominik Hansen uploaded a new version of File:ProBWindowsDownload.png
• 15:0615:06, 30 March 2016 diff hist −1‎ Windows Installation Instructions ‎ →‎Install Java

26 February 2016

• 14:1914:19, 26 February 2016 diff hist +8‎ Editors for ProB ‎No edit summary

3 February 2016

• 12:3412:34, 3 February 2016 diff hist −59‎ Die Hard Jugs Puzzle ‎ →‎TLA+ Version current
• 11:1111:11, 3 February 2016 diff hist 0‎ Die Hard Jugs Puzzle ‎No edit summary
• 11:1111:11, 3 February 2016 diff hist 0‎ Die Hard Jugs Puzzle ‎No edit summary
• 11:0311:03, 3 February 2016 diff hist +3‎ Die Hard Jugs Puzzle ‎ →‎TLA+ Version
• 09:1809:18, 3 February 2016 diff hist +7,973‎ Die Hard Jugs Puzzle ‎No edit summary
• 08:5308:53, 3 February 2016 diff hist +2‎ Die Hard Jugs Puzzle ‎No edit summary

13 January 2016

• 14:0914:09, 13 January 2016 diff hist −199‎ TLC ‎No edit summary

18 December 2015

• 18:0718:07, 18 December 2015 diff hist −9‎ State space visualization examples ‎ →‎Alternating Bit Protocol
• 18:0318:03, 18 December 2015 diff hist +3‎ State space visualization examples ‎ →‎Alternating Bit Protocol

21 November 2014

• 19:5619:56, 21 November 2014 diff hist −10‎ TLA ‎ →‎Using ProB for Animation and Model Checking of TLA+ specifications
• 19:5319:53, 21 November 2014 diff hist −192‎ TLA ‎No edit summary

10 November 2014

• 10:1110:11, 10 November 2014 diff hist +4‎ TLC ‎ →‎Visited States
• 10:1010:10, 10 November 2014 diff hist +1‎ TLC ‎ →‎Visited States
• 10:0910:09, 10 November 2014 diff hist +1‎ TLC ‎ →‎Visited States
• 10:0610:06, 10 November 2014 diff hist −7‎ TLC ‎ →‎Visited States
• 10:0610:06, 10 November 2014 diff hist 0‎ File:NumberOfStates.jpeg ‎ uploaded a new version of "File:NumberOfStates.jpeg" current
• 10:0210:02, 10 November 2014 diff hist +15‎ TLC ‎ →‎Visited States
• 10:0110:01, 10 November 2014 diff hist +47‎ TLC ‎ →‎Visited States
• 10:0010:00, 10 November 2014 diff hist +29‎ TLC ‎ →‎Visited States
• 10:0010:00, 10 November 2014 diff hist 0‎ N File:NumberOfStates.jpeg ‎No edit summary
• 09:5409:54, 10 November 2014 diff hist 0‎ N File:NumberOfStates.pdf ‎No edit summary current
• 09:5109:51, 10 November 2014 diff hist +158‎ TLC ‎ →‎Visited States
• 09:4709:47, 10 November 2014 diff hist +295‎ TLC ‎No edit summary

31 October 2014

• 13:4213:42, 31 October 2014 diff hist +55‎ Team ‎No edit summary

28 October 2014

• 12:2212:22, 28 October 2014 diff hist −19‎ ABZ14 ‎No edit summary
• 12:1912:19, 28 October 2014 diff hist +34‎ N File:Landing system.pdf ‎ Landing Gear Requirements Document current
• 12:0312:03, 28 October 2014 diff hist −1‎ ABZ14 ‎ →‎Ressources

17 October 2014

• 08:4008:40, 17 October 2014 diff hist −73‎ TLC ‎ →‎Limitations

20 May 2014

• 14:0514:05, 20 May 2014 diff hist +1‎ Using the Command-Line Version of ProB ‎ →‎--timeout

12 March 2014

• 10:3410:34, 12 March 2014 diff hist 0‎ N File:ABZ14 Paper.pdf ‎No edit summary current

29 January 2014

• 10:3410:34, 29 January 2014 diff hist −1‎ TLC ‎ →‎Limitations
• 10:3410:34, 29 January 2014 diff hist +279‎ TLC ‎No edit summary

4 December 2013

• 15:5215:52, 4 December 2013 diff hist −1‎ TLC ‎No edit summary
• 15:4615:46, 4 December 2013 diff hist +168‎ TLC ‎No edit summary
• 15:2615:26, 4 December 2013 diff hist −2‎ TLC ‎No edit summary
• 15:2415:24, 4 December 2013 diff hist +2‎ TLC ‎No edit summary
• 15:1915:19, 4 December 2013 diff hist −41‎ TLC ‎No edit summary
• 15:1715:17, 4 December 2013 diff hist +46‎ TLC ‎No edit summary
• 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