Kripke structure (model checking): 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 21:2121:21, 20 August 2024‎ Onel5969 talk contribs‎ m 6,386 bytes +28‎ Disambiguating links to Deadlock (link changed to Deadlock (computer science)) using DisamAssist. undo

curprev 23:0723:07, 4 February 2024‎ Ixfd64 talk contribs‎ m 6,358 bytes +2‎ →‎Example: a word undo

curprev 17:1117:11, 3 November 2023‎ AnomieBOT talk contribs‎ m 6,356 bytes −12‎ Substing templates: {{Format ISBN}}. See User:AnomieBOT/docs/TemplateSubster for info. undo
curprev 16:3916:39, 3 November 2023‎ Trappist the monk talk contribs‎ m 6,368 bytes +13‎ cite repair; undo Tag: AWB

curprev 10:4010:40, 2 April 2023‎ 2a02:1812:110c:dc00:d13d:ba42:275:3647 talk‎ 6,355 bytes +144‎ No edit summary undo

curprev 00:5600:56, 30 January 2022‎ Gilo1969 talk contribs‎ 6,211 bytes −4‎ Undid revision 1068729091 by Bilorv (talk) fix citation with wikilink embedded in URL title undo Tag: Undo
curprev 00:3300:33, 30 January 2022‎ Bilorv talk contribs‎ m 6,215 bytes +4‎ link Principles of Model Checking undo Tag: Reverted

curprev 21:0821:08, 1 March 2021‎ Sbb talk contribs‎ 6,211 bytes +719‎ Tag math as {{math}}/{{mvar}} for automated spell checkers (including Wikipedia:Typo Team/moss) undo Tag: 2017 wikitext editor

curprev 23:3423:34, 4 October 2020‎ David Eppstein talk contribs‎ 5,492 bytes +30‎ Christel Baier undo

curprev 17:2217:22, 9 September 2020‎ 31.127.205.80 talk‎ 5,462 bytes +6‎ No edit summary undo Tags: Mobile edit Mobile web edit
curprev 17:2117:21, 9 September 2020‎ 31.127.205.80 talk‎ 5,456 bytes +13‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 16:2816:28, 16 July 2020‎ Bilorv talk contribs‎ 5,443 bytes +32‎ added Category:Transition systems using HotCat undo

curprev 23:0323:03, 29 May 2020‎ InternetArchiveBot talk contribs‎ 5,411 bytes +154‎ Bluelink 1 book for verifiability (prndis)) #IABot (v2.0.1) (GreenC bot undo

curprev 08:0808:08, 2 March 2017‎ 27.32.27.83 talk‎ 5,257 bytes +1‎ No edit summary undo

curprev 10:4410:44, 28 October 2016‎ Bender the Bot talk contribs‎ m 5,256 bytes +1‎ →‎Formal definition: http→https for Google Books and Google News using AWB undo

curprev 19:2619:26, 16 September 2016‎ Cic talk contribs‎ m 5,255 bytes −1‎ →‎Formal definition: Whitespace undo
curprev 19:2319:23, 16 September 2016‎ Cic talk contribs‎ m 5,256 bytes 0‎ →‎Example: kripke -> Kripke and formatting undo

curprev 16:3216:32, 13 May 2016‎ 129.137.215.233 talk‎ 5,256 bytes +2‎ →‎Formal definition undo

curprev 01:5601:56, 10 May 2016‎ 209.6.91.125 talk‎ 5,254 bytes +20‎ →‎Formal definition undo
curprev 01:5501:55, 10 May 2016‎ 209.6.91.125 talk‎ 5,234 bytes +28‎ →‎Formal definition: Moore machines have one initial state, not an arbitrary set of them. undo

curprev 20:2720:27, 31 January 2016‎ BD2412 talk contribs‎ m 5,206 bytes −15‎ Fixing links to disambiguation pages, replaced: graph{{dn|date=January 2016}} → graph using AWB undo
curprev 14:4414:44, 31 January 2016‎ BD2412 talk contribs‎ m 5,221 bytes +24‎ Graph (mathematics) is now a disambiguation link; please fix., replaced: graph → graph{{dn|{{subst:DATE}}}} using AWB undo

curprev 15:3815:38, 26 November 2014‎ Rp talk contribs‎ 5,197 bytes −152‎ an infinite object is not a machine, and we don't use that term for Kripke structures or transition systems undo

curprev 15:4515:45, 27 July 2014‎ Magioladitis talk contribs‎ m 5,349 bytes −2‎ Replace unicode entity nbsp for character [NBSP] (or space) per WP:NBSP + other fixes, replaced: → using AWB (10331) undo

curprev 01:1901:19, 26 November 2013‎ 77.56.53.183 talk‎ 5,351 bytes 0‎ No edit summary undo
curprev 01:1801:18, 26 November 2013‎ 77.56.53.183 talk‎ 5,351 bytes +26‎ No edit summary undo

curprev 18:2518:25, 23 October 2013‎ 91.42.152.177 talk‎ 5,325 bytes +2‎ Improved reference [2] to Clarke, The Birth of Model Checking undo

curprev 15:4315:43, 22 July 2013‎ Sailor2040 talk contribs‎ 5,323 bytes +183‎ citation for "used in model checking" undo

curprev 19:2419:24, 3 April 2013‎ Zdiskin talk contribs‎ 5,140 bytes −3‎ →‎Formal definition: R is a relation, not a function, hence writing s_i+1 = R(s_i) is not correct. I replaced it with R(s_i, s_i+1) undo

curprev 09:3509:35, 23 March 2013‎ Addbot talk contribs‎ m 5,143 bytes −23‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q1077740 undo

curprev 04:0604:06, 27 February 2013‎ Addbot talk contribs‎ m 5,166 bytes −141‎ Bot: Migrating 5 interwiki links, now provided by Wikidata on d:q1077740 (Report Errors) undo

curprev 09:4509:45, 1 February 2013‎ EmausBot talk contribs‎ m 5,307 bytes +22‎ r2.7.3) (Robot: Adding pl:Model Kripkego undo

curprev 08:5608:56, 11 December 2012‎ Yobot talk contribs‎ m 5,285 bytes −4‎ clean up, References after punctuation per WP:REFPUNC and WP:CITEFOOT using AWB (8792) undo

curprev 00:5900:59, 10 May 2012‎ Helpful Pixie Bot talk contribs‎ m 5,289 bytes +7‎ ISBNs (Build KE) undo

curprev 06:0506:05, 8 April 2012‎ 182.237.4.57 talk‎ 5,282 bytes 0‎ Minor spelling fix (is to as) undo

curprev 07:3307:33, 18 December 2011‎ Ashutosh y0078 talk contribs‎ 5,282 bytes 0‎ No edit summary undo
curprev 07:3107:31, 18 December 2011‎ Ashutosh y0078 talk contribs‎ 5,282 bytes +16‎ No edit summary undo

curprev 12:5612:56, 17 December 2011‎ Lawdroid talk contribs‎ 5,266 bytes −7‎ Kripke structures are not required to be finite undo

curprev 11:1411:14, 4 December 2011‎ Ashutosh y0078 talk contribs‎ 5,273 bytes +1‎ No edit summary undo

curprev 10:3710:37, 25 November 2011‎ Ashutosh y0078 talk contribs‎ 5,272 bytes +25‎ No edit summary undo
curprev 08:3408:34, 25 November 2011‎ 180.149.50.100 talk‎ 5,247 bytes −1‎ No edit summary undo

curprev 10:2910:29, 20 October 2011‎ Ashutosh y0078 talk contribs‎ 5,248 bytes −1‎ →‎Example undo
curprev 03:5003:50, 20 October 2011‎ Mild Bill Hiccup talk contribs‎ m 5,249 bytes +1‎ →‎Example: spelling undo

curprev 08:5908:59, 25 September 2011‎ RjwilmsiBot talk contribs‎ m 5,248 bytes +5‎ →‎Relation to other notions: fixing page range dashes using AWB (7840) undo

curprev 10:2210:22, 10 June 2011‎ 131.180.159.106 talk‎ 5,243 bytes 0‎ Fixed Typo undo

curprev 09:1209:12, 5 May 2011‎ Ashutosh y0078 talk contribs‎ 5,243 bytes −23‎ →‎Formal definition undo

curprev 17:2617:26, 30 April 2011‎ Ashutosh y0078 talk contribs‎ 5,266 bytes −1‎ →‎Example undo
curprev 17:2517:25, 30 April 2011‎ Ashutosh y0078 talk contribs‎ 5,267 bytes +26‎ →‎Example undo
curprev 17:2317:23, 30 April 2011‎ Ashutosh y0078 talk contribs‎ 5,241 bytes −9‎ →‎Formal definition undo
curprev 17:2117:21, 30 April 2011‎ Ashutosh y0078 talk contribs‎ 5,250 bytes +1‎ →‎Example undo

20 August 2024

4 February 2024

3 November 2023

2 April 2023

30 January 2022

1 March 2021

4 October 2020

9 September 2020

16 July 2020

29 May 2020

2 March 2017

28 October 2016

16 September 2016

13 May 2016

10 May 2016

31 January 2016

26 November 2014

27 July 2014

26 November 2013

23 October 2013

22 July 2013

3 April 2013

23 March 2013

27 February 2013

1 February 2013

11 December 2012

10 May 2012

8 April 2012

18 December 2011

17 December 2011

4 December 2011

25 November 2011

20 October 2011

25 September 2011

10 June 2011

5 May 2011

30 April 2011