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 15:5915:59, 20 December 2024 Kvng talk contribs 25,364 bytes −24 compound modifier. use acro def. undo

curprev 03:3903:39, 30 November 2024 Jayaprabhakar talk contribs m 25,388 bytes +181 →Tools undo

curprev 14:3614:36, 26 November 2024 Kvng talk contribs m 25,207 bytes −139 unpiped links using script undo

curprev 22:1222:12, 29 October 2024 Citation bot talk contribs 25,346 bytes +65 Alter: title, template type, publisher, date. Add: chapter-url, chapter, authors 1-1. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 974/1153 undo

curprev 14:5414:54, 21 September 2024 Kvng talk contribs m 25,281 bytes +2 WP:ADOPTYPO boolean -> Boolean undo

curprev 01:5201:52, 29 July 2024 Kvng talk contribs 25,279 bytes +36 foldoc attribution undo

curprev 08:3608:36, 19 February 2024 WikiCleanerBot talk contribs m 25,243 bytes −1 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 00:5400:54, 13 February 2024 Oplapla talk contribs m 25,244 bytes +459 Added reference to early work on symbolic sequential verification undo Tag: Visual edit

curprev 20:4820:48, 12 February 2024 JoeNMLC talk contribs 24,785 bytes +51 →See also: ce, add Counterexample-guided abstraction refinement undo

curprev 18:5818:58, 16 November 2023 2003:c9:2713:ef00:643f:c681:8b97:4622 talk 24,734 bytes +1 Fixed typo: Switched OR to AND (see cited paper) undo

curprev 20:2620:26, 30 October 2023 Citation bot talk contribs 24,733 bytes +41 Alter: pages, chapter, title. Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Model checking | #UCB_Category 6/24 undo

curprev 10:0410:04, 25 October 2023 Citation bot talk contribs 24,692 bytes 0 Alter: title. Add: chapter. Removed parameters. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 03:3403:34, 5 October 2023 2003:c9:2745:3d00:ec9a:3922:3482:64e9 talk 24,692 bytes +1 →Example: Fixed typo (changed OR to AND), as in the cited paper. undo Tags: Mobile edit Mobile web edit

curprev 19:0819:08, 13 August 2023 OAbot talk contribs m 24,691 bytes +21 Open access bot: doi added to citation with #oabot. undo

curprev 09:5209:52, 15 May 2023 Citation bot talk contribs 24,670 bytes −104 Alter: url. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | Linked from User:AManWithNoPlan/sandbox4 | #UCB_webform_linked 556/890 undo

curprev 15:5715:57, 2 May 2023 ZahraMoezkarimi talk contribs m 24,774 bytes −5 remove "tool" from the "model checker tool" undo Tag: Visual edit
curprev 15:5015:50, 2 May 2023 ZahraMoezkarimi talk contribs m 24,779 bytes +152 I have added the Afra model checker tool to the list of tools. undo Tag: Visual edit

curprev 22:1922:19, 1 March 2023 Siddharthist talk contribs 24,627 bytes +21 Add {{Program analysis}} undo Tag: 2017 wikitext editor

curprev 05:0605:06, 19 February 2023 WikiCleanerBot talk contribs m 24,606 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 20:0520:05, 18 February 2023 98.4.112.204 talk 24,606 bytes −37 →Symbolic model checking: rm {{Expand section|date=January 2011}} empty § then undo
curprev 19:5419:54, 18 February 2023 98.4.112.204 talk 24,643 bytes −34 rm {{Refimprove|date=November 2008}} 0 then 21 now undo

curprev 14:4014:40, 17 February 2023 Jochen Burghardt talk contribs 24,677 bytes −7 →Tools: rm peacock and time-dependent "modern" undo
curprev 13:4613:46, 17 February 2023 Matefriki talk contribs m 24,684 bytes +147 →Tools: Added the probabilistic model checker Storm undo

curprev 13:3913:39, 24 December 2022 Bilorv talk contribs m 24,537 bytes −10 punctuation outside of the link undo

curprev 12:5112:51, 21 December 2022 Thatsme314 talk contribs 24,547 bytes 0 →Overview: Grammar (hyphen) x2 undo Tags: Mobile edit Mobile web edit

curprev 01:0501:05, 9 October 2022 RDBrown talk contribs 24,547 bytes +1,904 →Further reading: →cite book, journal | Alter: url. URLs might have been anonymized. Add: isbn, pages, volume, year, series, archive-date, archive-url, doi. Removed parameters. Formatted dashes. | Use this tool. Report bugs. | #UCB_Gadget undo

curprev 07:1307:13, 8 October 2022 The-erinaceous-one talk contribs m 22,643 bytes +159 →Example: Clean up equation undo

curprev 20:0320:03, 28 July 2022 Jochen Burghardt talk contribs 22,484 bytes −109 Undid revision 1100975796 by Fallingnate (talk): afaik, only internal links should appear here - I added the ext. link to NuSMV, instead undo Tag: Undo
curprev 17:0517:05, 28 July 2022 Fallingnate talk contribs m 22,593 bytes +109 Added reference to nuXmv undo Tags: Reverted Visual edit

curprev 16:0016:00, 27 July 2022 2a02:1812:110c:dc00:e493:f5b5:50b7:a710 talk 22,484 bytes 0 No edit summary undo

curprev 14:3814:38, 24 June 2022 Bilorv talk contribs 22,484 bytes −13 better to lead with the subject area, "computer science", and it's a field of the subject (it is a method of checking, but that's a bit redundant to the title) undo

curprev 09:3309:33, 19 June 2022 Maxeto0910 talk contribs 22,497 bytes +58 Added short description. undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 12:2912:29, 3 June 2022 AManWithNoPlan talk contribs 22,439 bytes −29 That doi provider went bankrupt over a decade ago undo

curprev 21:5221:52, 2 June 2022 Citation bot talk contribs 22,468 bytes +179 Add: isbn, doi, chapter, s2cid. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine 134/186 undo

curprev 00:3300:33, 30 January 2022 Bilorv talk contribs m 22,289 bytes +8 link Principles of Model Checking undo

curprev 18:0218:02, 7 January 2022 Develmax talk contribs 22,281 bytes +21 →Tools undo
curprev 17:4517:45, 7 January 2022 Develmax talk contribs 22,260 bytes +4 →Tools undo Tag: Disambiguation links added

curprev 15:1115:11, 11 December 2021 JoeNMLC talk contribs 22,256 bytes +10 →See also: add col. list, alpha. seq. undo

curprev 21:4021:40, 26 November 2021 Jbrobots talk contribs 22,246 bytes +80 Updated reference of Dwyer, Avrunin, Corbett to conference version of the paper, with a working PDF link to ACM. undo
curprev 21:2321:23, 26 November 2021 Jbrobots talk contribs m 22,166 bytes +2 Corrected spelling of Prof. George Avrunin's name in reference "Dwyer, Avrunin, Corbett" undo Tag: Visual edit: Switched

curprev 20:3020:30, 14 October 2021 Kvng talk contribs 22,164 bytes −48 mv {{FOLDOC}} to talk undo

curprev 14:2814:28, 25 September 2021 Bilorv talk contribs 22,212 bytes −165 No article, only a primary source - what's the significance (due weight)? undo Tag: Undo

curprev 15:4515:45, 20 September 2021 Csblo talk contribs m 22,377 bytes +10 Change reference link text of IMITATOR tool undo Tag: Reverted
curprev 15:4315:43, 20 September 2021 Csblo talk contribs m 22,367 bytes +155 Add IMITATOR model checker tool undo Tag: Reverted

curprev 16:5616:56, 3 July 2021 Jochen Burghardt talk contribs 22,212 bytes −9 →top: no pipe needed undo
curprev 15:5815:58, 3 July 2021 Mechachleopteryx talk contribs 22,221 bytes −9 No edit summary undo Tags: Mobile edit Mobile web edit Advanced mobile edit
curprev 15:5715:57, 3 July 2021 Mechachleopteryx talk contribs 22,230 bytes 0 No edit summary undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 23:3723:37, 30 May 2021 Citation bot talk contribs 22,230 bytes +52 Add: doi, s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. Upgrade ISBN10 to ISBN13. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform undo

curprev 13:0113:01, 26 May 2021 2a00:23c7:5989:8e00:dbb:7a0d:cb87:6d9a talk 22,178 bytes +60 Sharpened the statement of conditions for the undecidability theorem to apply. undo

curprev 06:1606:16, 17 May 2021 Dokidaki-ylc talk contribs m 22,118 bytes +36 No edit summary undo Tag: Visual edit

20 December 2024

30 November 2024

26 November 2024

29 October 2024

21 September 2024

29 July 2024

19 February 2024

13 February 2024

12 February 2024

16 November 2023

30 October 2023

25 October 2023

5 October 2023

13 August 2023

15 May 2023

2 May 2023

1 March 2023

19 February 2023

18 February 2023

17 February 2023

24 December 2022

21 December 2022

9 October 2022

8 October 2022

28 July 2022

27 July 2022

24 June 2022

19 June 2022

3 June 2022

2 June 2022

30 January 2022

7 January 2022

11 December 2021

26 November 2021

14 October 2021

25 September 2021

20 September 2021

3 July 2021

30 May 2021

26 May 2021

17 May 2021