TLC: Revision history

4 February 2022

• curprev 17:0017:00, 4 February 2022‎ Michael Leuschel talk contribs‎ 3,996 bytes +59‎ →‎Translation from B to TLA+

3 February 2021

• curprev 17:0217:02, 3 February 2021‎ David Geleßus talk contribs‎ 3,937 bytes −14‎ Update article PDF link

11 August 2016

• curprev 12:0512:05, 11 August 2016‎ Dominik Hansen talk contribs‎ 3,951 bytes −3‎ No edit summary
• curprev 12:0212:02, 11 August 2016‎ Dominik Hansen talk contribs‎ 3,954 bytes +132‎ No edit summary

13 January 2016

• curprev 14:1014:10, 13 January 2016‎ Michael Leuschel talk contribs‎ 3,822 bytes +617‎ →‎How to use TLC
• curprev 14:0914:09, 13 January 2016‎ Dominik Hansen talk contribs‎ 3,205 bytes −199‎ No edit summary

10 November 2014

• curprev 10:1110:11, 10 November 2014‎ Dominik Hansen talk contribs‎ 3,404 bytes +4‎ →‎Visited States
• curprev 10:1010:10, 10 November 2014‎ Dominik Hansen talk contribs‎ 3,400 bytes +1‎ →‎Visited States
• curprev 10:0910:09, 10 November 2014‎ Dominik Hansen talk contribs‎ 3,399 bytes +1‎ →‎Visited States
• curprev 10:0610:06, 10 November 2014‎ Dominik Hansen talk contribs‎ 3,398 bytes −7‎ →‎Visited States
• curprev 10:0210:02, 10 November 2014‎ Dominik Hansen talk contribs‎ 3,405 bytes +15‎ →‎Visited States
• curprev 10:0110:01, 10 November 2014‎ Dominik Hansen talk contribs‎ 3,390 bytes +47‎ →‎Visited States
• curprev 10:0010:00, 10 November 2014‎ Dominik Hansen talk contribs‎ 3,343 bytes +29‎ →‎Visited States
• curprev 09:5109:51, 10 November 2014‎ Dominik Hansen talk contribs‎ 3,314 bytes +158‎ →‎Visited States
• curprev 09:4709:47, 10 November 2014‎ Dominik Hansen talk contribs‎ 3,156 bytes +295‎ No edit summary
• curprev 09:0309:03, 10 November 2014‎ Michael Leuschel talk contribs‎ 2,861 bytes −5‎ No edit summary
• curprev 09:0209:02, 10 November 2014‎ Michael Leuschel talk contribs‎ 2,866 bytes +229‎ No edit summary
• curprev 08:5208:52, 10 November 2014‎ Michael Leuschel talk contribs‎ 2,637 bytes +156‎ No edit summary

17 October 2014

• curprev 08:4008:40, 17 October 2014‎ Dominik Hansen talk contribs‎ 2,481 bytes −73‎ →‎Limitations

29 January 2014

• curprev 10:3410:34, 29 January 2014‎ Dominik Hansen talk contribs‎ 2,554 bytes −1‎ →‎Limitations
• curprev 10:3410:34, 29 January 2014‎ Dominik Hansen talk contribs‎ 2,555 bytes +279‎ No edit summary

4 December 2013

• curprev 15:5215:52, 4 December 2013‎ Dominik Hansen talk contribs‎ 2,276 bytes −1‎ No edit summary
• curprev 15:4615:46, 4 December 2013‎ Dominik Hansen talk contribs‎ 2,277 bytes +168‎ No edit summary
• curprev 15:2615:26, 4 December 2013‎ Dominik Hansen talk contribs‎ 2,109 bytes −2‎ No edit summary
• curprev 15:2415:24, 4 December 2013‎ Dominik Hansen talk contribs‎ 2,111 bytes +2‎ No edit summary
• curprev 15:1915:19, 4 December 2013‎ Dominik Hansen talk contribs‎ 2,109 bytes −41‎ No edit summary
• curprev 15:1715:17, 4 December 2013‎ Dominik Hansen talk contribs‎ 2,150 bytes +46‎ No edit summary
• curprev 15:0915:09, 4 December 2013‎ Dominik Hansen talk contribs‎ 2,104 bytes +107‎ No edit summary
• curprev 15:0615:06, 4 December 2013‎ Dominik Hansen talk contribs‎ 1,997 bytes −7‎ No edit summary
• curprev 15:0215:02, 4 December 2013‎ Dominik Hansen talk contribs‎ 2,004 bytes +553‎ No edit summary
• curprev 14:4114:41, 4 December 2013‎ Dominik Hansen talk contribs‎ 1,451 bytes +178‎ No edit summary
• curprev 14:3014:30, 4 December 2013‎ Dominik Hansen talk contribs‎ 1,273 bytes +152‎ →‎Translation from B to TLA+
• curprev 14:2514:25, 4 December 2013‎ Dominik Hansen talk contribs‎ 1,121 bytes −10‎ →‎Validating B specifications with TLC
• curprev 14:2114:21, 4 December 2013‎ Dominik Hansen talk contribs‎ 1,131 bytes +47‎ No edit summary
• curprev 14:1114:11, 4 December 2013‎ Dominik Hansen talk contribs‎ 1,084 bytes +12‎ →‎Validating B specifications with TLC
• curprev 14:1014:10, 4 December 2013‎ Dominik Hansen talk contribs‎ 1,072 bytes +917‎ No edit summary
• curprev 11:4111:41, 4 December 2013‎ Dominik Hansen talk contribs‎ 155 bytes +155‎ 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.'