Temporal logic in finite-state verification: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 17:2017:20, 21 July 2020 Bilorv talk contribs 28 bytes −2,806 merge to Model checking per Talk:Model checking#Merge here: Temporal logic in finite-state verification undo Tag: New redirect

curprev 23:1423:14, 15 July 2020 AnomieBOT talk contribs m 2,834 bytes +15 Dating maintenance tags: {{Merge to}} undo
curprev 22:5322:53, 15 July 2020 Bilorv talk contribs 2,819 bytes +112 merge discussion undo

curprev 04:1404:14, 10 April 2016 Mz7 talk contribs 2,707 bytes −469 Wikipedia:Articles for deletion/Temporal logic in finite-state verification closed as keep undo

curprev 16:4216:42, 3 April 2016 Andy Dingley talk contribs 3,176 bytes +233 link ref undo
curprev 16:3316:33, 3 April 2016 Andy Dingley talk contribs 2,943 bytes −21 rm two trite wls undo
curprev 05:3705:37, 3 April 2016 Music1201 talk contribs 2,964 bytes +469 Nominated for deletion; see Wikipedia:Articles for deletion/Temporal logic in finite-state verification. (TW) undo

curprev 03:2903:29, 19 November 2015 Cydebot talk contribs m 2,495 bytes +7 Robot - Moving category Automata theory to Category:Automata (computation) per CFD at Wikipedia:Categories for discussion/Log/2015 October 22. undo

curprev 02:2902:29, 13 March 2014 NickPenguin talk contribs 2,488 bytes −45 no consensus to merge undo

curprev 06:1406:14, 23 March 2013 Addbot talk contribs m 2,533 bytes −112 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q7698924 undo

curprev 10:1510:15, 3 January 2012 Amr.rs talk contribs 2,645 bytes +25 fixed disamb link undo

curprev 09:4909:49, 14 November 2011 Ashutosh y0078 talk contribs m 2,620 bytes +12 No edit summary undo

curprev 16:1516:15, 14 June 2011 Linas talk contribs m 2,608 bytes −87 fix stinky layout of formula undo

curprev 18:4118:41, 31 January 2011 AnomieBOT talk contribs m 2,695 bytes +18 Dating maintenance tags: {{Mergeto}} undo
curprev 18:2118:21, 31 January 2011 Ruud Koot talk contribs 2,677 bytes +27 {{mergeto|Model checking}} undo
curprev 18:0318:03, 31 January 2011 Ruud Koot talk contribs 2,650 bytes 0 Category:Model checking undo

curprev 12:3112:31, 22 January 2011 Jpbowen talk contribs 2,650 bytes +127 Categories, tidying, essay undo

curprev 21:5621:56, 1 October 2010 Luckas-bot talk contribs m 2,523 bytes +112 robot Adding: el:Χρονική λογική και επαλήθευση πεπερασμένων καταστάσεων undo

curprev 04:3404:34, 9 November 2008 Lightbot talk contribs 2,411 bytes −8 Date audit per mosnum/overlink/Other undo

curprev 03:1103:11, 12 January 2008 A Nobody talk contribs 2,419 bytes +72 reference format undo

curprev 06:1106:11, 12 June 2007 KrakatoaKatie talk contribs 2,347 bytes −58 →See also: rm link to prodded Specific patterns forverification undo

curprev 18:1718:17, 1 May 2006 Salix alba talk contribs 2,405 bytes +32 change links from Springer-Verlag to Springer Science+Business Media using AWB undo

curprev 12:1612:16, 13 March 2006 Bluebot talk contribs 2,373 bytes −108 bolding title, and simplifying links using AWB undo

curprev 21:5121:51, 30 August 2005 Jpbowen talk contribs m 2,481 bytes +187 Add links, categories, etc. undo

curprev 18:4518:45, 9 July 2005 The Rambling Man talk contribs m 2,294 bytes +2 Punctuation! undo

curprev 15:3915:39, 13 March 2005 Arnaudf talk contribs m 2,292 bytes +22 added link to Kripke structure undo

curprev 04:1704:17, 12 March 2005 216.254.161.117 talk 2,270 bytes +12 Made Pnueli's name in citations a link undo
curprev 04:1404:14, 12 March 2005 216.254.161.117 talk 2,258 bytes +521 Added references to Pnueli (probably first application of TL to program verification), and to Manna and Pnueli, a standard text. In first paragraph, commented on counterexamples. undo

curprev 11:3011:30, 2 February 2005 Thv talk contribs m 1,737 bytes +91 No edit summary undo

curprev 11:1311:13, 31 January 2005 Thv talk contribs 1,646 bytes +336 →Temporal Logic In Finite-State Verification: Please continue with TeX markup? undo

21 July 2020

15 July 2020

10 April 2016

3 April 2016

19 November 2015

13 March 2014

23 March 2013

3 January 2012

14 November 2011

14 June 2011

31 January 2011

22 January 2011

1 October 2010

9 November 2008

12 January 2008

12 June 2007

1 May 2006

13 March 2006

30 August 2005

9 July 2005

13 March 2005

12 March 2005

2 February 2005

31 January 2005

11 April 2004