Abstract 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 06:3606:36, 31 May 2024 David Eppstein talk contribs 1,683 bytes +29 expand lead undo
curprev 06:3506:35, 31 May 2024 David Eppstein talk contribs 1,654 bytes −42 →References: cat looks ok to me undo

curprev 20:2720:27, 30 October 2023 Citation bot talk contribs 1,696 bytes +18 Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Model checking | #UCB_Category 12/24 undo

curprev 13:5413:54, 23 December 2022 158.64.79.13 talk 1,678 bytes −4 incorrect link to abstract space undo

curprev 15:1315:13, 11 December 2021 JoeNMLC talk contribs 1,682 bytes +23 →top: ce lead, add wikilink undo
curprev 15:1215:12, 11 December 2021 JoeNMLC talk contribs 1,659 bytes +245 →See also: add section undo
curprev 15:0815:08, 11 December 2021 JoeNMLC talk contribs 1,414 bytes +54 →References: add Reflist, add cat. notice undo
curprev 15:0715:07, 11 December 2021 JoeNMLC talk contribs 1,360 bytes −5 →top: ce lead, add wikilink, rm context notice undo

curprev 13:0413:04, 27 May 2021 AlanSherlock talk contribs m 1,365 bytes 0 AlanSherlock moved page Abstraction model checking to Abstract model checking: Standard term, cf. Symbolic Model Checking, evidenced by (i) google search and (ii) Clarke's original paper which says "we construct an abstract model of a program without ever examining the corresponding unabstracted model" in the abstract undo

curprev 19:5619:56, 12 December 2020 Desertarun talk contribs 1,365 bytes −1,098 Removing WP:OR / WP:HOWTO undo

curprev 21:5821:58, 28 February 2019 128.84.216.142 talk 2,463 bytes +2 →Galois connected undo

curprev 19:2019:20, 15 February 2019 Citation bot talk contribs m 2,461 bytes +27 Add: citeseerx. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 17:3417:34, 12 January 2019 Vraimonds talk contribs m 2,434 bytes 0 The year in the references of the paper was given wrong. Given 1992, but if you follow the link it directs you to a page where the year 1994 is given. undo

curprev 18:3818:38, 31 January 2011 Ruud Koot talk contribs 2,434 bytes −69 Category:Model checking undo

curprev 09:4909:49, 15 September 2010 Rjwilmsi talk contribs m 2,503 bytes 0 page range fixes, replaced: | pages=1512--1542 → | pages=1512–1542 using AWB (7126) undo

curprev 17:3117:31, 4 October 2009 SmackBot talk contribs m 2,503 bytes +18 Date maintenance tags and general fixes using AWB undo

curprev 17:0517:05, 17 April 2009 AndrewHowse talk contribs m 2,485 bytes +23 Disambig links to dab page Variable and general clean-up using AWB undo

curprev 13:4813:48, 7 June 2008 DOI bot talk contribs m 2,462 bytes +28 Citation maintenance. You can use this bot yourself! Please report any bugs. undo

curprev 01:3601:36, 7 February 2008 70.233.136.36 talk 2,434 bytes +21 →Galois connected: Added link to article on Galois Connection. Cleaned up sentence structure. undo

curprev 10:2010:20, 20 November 2007 Hans Adler talk contribs 2,413 bytes −26 rm from category "model theory", as it's already in subcategory "model checking" and is a bit exotic there undo

curprev 10:1810:18, 15 July 2007 Retired username talk contribs m 2,439 bytes −19 Adding a few internal links from an online link suggesting tool. undo

curprev 05:5605:56, 22 May 2007 D3av talk contribs m 2,458 bytes +4 linked word variables to relevant page undo

curprev 22:3222:32, 23 April 2007 SmackBot talk contribs m 2,454 bytes +5 Date/fix the maintenance tags or gen fixes undo

curprev 00:0000:00, 7 March 2007 Signalhead talk contribs m 2,449 bytes 0 →Abstraction refinement loop: Spelling error corrected (seperation-> separation) undo

curprev 10:0010:00, 15 February 2007 210.212.178.1 talk 2,449 bytes −44 No edit summary undo

curprev 10:0310:03, 8 February 2007 SmackBot talk contribs m 2,493 bytes +14 Date/fix maintenance tags undo
curprev 00:3600:36, 8 February 2007 128.220.212.143 talk 2,479 bytes −59 article already categorized, tagged with wikify and context undo

curprev 15:4715:47, 27 January 2007 193.205.213.166 talk 2,538 bytes +2 No edit summary undo

31 May 2024

30 October 2023

23 December 2022

11 December 2021

27 May 2021

12 December 2020

28 February 2019

15 February 2019

12 January 2019

31 January 2011

15 September 2010

4 October 2009

17 April 2009

7 June 2008

7 February 2008

20 November 2007

15 July 2007

22 May 2007

23 April 2007

7 March 2007

15 February 2007

8 February 2007

27 January 2007

26 January 2007