User contributions for Dominik Hansen

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