List of model checking tools: 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:2706:27, 20 February 2025 R k narayan 02 talk contribs 16,827 bytes +472 added tool - GreatSPN undo

curprev 03:4303:43, 30 November 2024 Jayaprabhakar talk contribs 16,355 bytes +151 →Modelling languages undo

curprev 11:1811:18, 2 July 2024 Explicit talk contribs m 16,204 bytes −4 Removing link(s) undefined (XFDcloser) undo

curprev 03:4603:46, 25 June 2024 Jayaprabhakar talk contribs m 16,208 bytes +280 Added FizzBee undo

curprev 13:3513:35, 15 May 2024 Certes talk contribs m 15,928 bytes +25 improve link: C (programming language) undo
curprev 05:0305:03, 15 May 2024 60.240.30.218 talk 15,903 bytes +185 add Rumur model checker undo

curprev 16:1716:17, 5 January 2024 2001:1c03:4f19:e500:bec4:5ca1:ec28:a563 talk 15,718 bytes +1 →Modelling languages undo
curprev 16:1716:17, 5 January 2024 2001:1c03:4f19:e500:bec4:5ca1:ec28:a563 talk 15,717 bytes +87 →Modelling languages undo
curprev 16:1516:15, 5 January 2024 2001:1c03:4f19:e500:bec4:5ca1:ec28:a563 talk 15,630 bytes +4 →Properties language undo

curprev 05:2705:27, 25 July 2023 Citation bot talk contribs 15,626 bytes +1 Misc citation tidying. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 09:0509:05, 12 January 2023 Jerryobject talk contribs 15,625 bytes +61 Avoidable spaced WP:SLASH > comma+space. WP:LINKs: adds, updates. Nonlead-word nonproper noun MOS:CAPS > WP:LOWERCASE sentence case. undo

curprev 16:1416:14, 16 October 2022 Skyerise talk contribs 15,564 bytes −5 →External links: faux heading undo
curprev 16:1316:13, 16 October 2022 Skyerise talk contribs 15,569 bytes −45 remove external links undo
curprev 16:1216:12, 16 October 2022 Skyerise talk contribs 15,614 bytes 0 move external links to EL section undo
curprev 16:1116:11, 16 October 2022 Skyerise talk contribs 15,614 bytes −879 →Overview of some model checking tools: remove 2 that fail inclusion criteria undo

curprev 17:1017:10, 2 October 2022 Skyerise talk contribs 16,493 bytes +28 →References: related and should be integrated undo
curprev 17:0917:09, 2 October 2022 Skyerise talk contribs 16,465 bytes −2,864 →External links: we don't do this undo

curprev 13:0413:04, 20 March 2022 Qwerfjkl (bot) talk contribs m 19,329 bytes −18 Changing short description "Wikipedia list article" to "none" per WP:SDNONE (via Bandersnatch) undo

curprev 22:4522:45, 16 March 2022 213.55.224.168 talk 19,347 bytes +92 →External links undo

curprev 01:5501:55, 9 February 2022 128.244.74.15 talk 19,255 bytes −2 No edit summary undo

curprev 04:2604:26, 14 December 2021 Tim Leonard talk contribs 19,257 bytes +460 Add the Murφ model checker and specification language, and invariants as a property specification language. undo

curprev 08:3708:37, 6 July 2021 OAbot talk contribs m 18,797 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 10:0110:01, 6 April 2021 2001:1c00:2417:cc00:51f0:530a:c4a8:93be talk 18,780 bytes +65 →Overview of some model checking tools undo

curprev 19:2519:25, 26 March 2021 Trappist the monk talk contribs m 18,715 bytes −31 →Scientific publications: cite repair; undo

curprev 21:1621:16, 28 February 2021 2a01:cb00:dac:e700:4d6:26bc:6a08:d974 talk 18,746 bytes −5 →External links: modifying the website for APMC, sources are on github undo

curprev 03:1403:14, 27 January 2021 Aseleste talk contribs 18,751 bytes +352 Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.8 undo Tag: IABotManagementConsole [1.2]
curprev 00:0200:02, 27 January 2021 AgentMoe talk contribs m 18,399 bytes −1 fixed link undo
curprev 00:0000:00, 27 January 2021 AgentMoe talk contribs m 18,400 bytes +77 added model checker undo

curprev 21:5221:52, 5 January 2021 172.103.252.187 talk 18,323 bytes +61 add ITS-tools in the list of Model-checker without a wiki page undo

curprev 04:1104:11, 30 December 2020 2601:400:8100:630:cd99:ad2c:1f87:7aa7 talk 18,262 bytes 0 →International software competitions: Updated link to latest version. undo Tags: Mobile edit Mobile web edit

curprev 03:3903:39, 6 December 2020 Monkbot talk contribs m 18,262 bytes +2 Task 18 (cosmetic): eval 4 templates: hyphenate params (2×); undo Tag: AWB

curprev 12:2512:25, 16 July 2020 163.116.178.116 talk 18,260 bytes −12 Removed links to TCTL (which wrongly pointed to transistor-transitor-logic) undo

curprev 07:5707:57, 24 June 2020 MonikaHeiner talk contribs m 18,272 bytes +76 added Marcie and its external link to the list of 'Other model checkers that do not yet have a Wikipedia page' undo

curprev 03:4303:43, 27 February 2020 Lepricavark talk contribs m 18,196 bytes +45 →top: added short description undo Tag: AWB

curprev 17:2617:26, 13 February 2020 InternetArchiveBot talk contribs 18,151 bytes +86 Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0) (GreenC - 5273 undo
curprev 03:3203:32, 13 February 2020 GreenC bot talk contribs 18,065 bytes −8 Move 1 url. Wayback Medic 2.5 undo

curprev 19:1919:19, 27 November 2019 139.181.7.34 talk 18,073 bytes +103 →External links: Added Mentor's PropCheck commercial tool to the list undo

curprev 20:5620:56, 13 October 2019 73.189.164.126 talk 17,970 bytes +278 →Properties language undo Tag: Visual edit

curprev 18:3318:33, 19 August 2019 166.70.31.28 talk 17,692 bytes +4 →Overview of some model checking tools undo

curprev 21:5821:58, 22 June 2019 Headbomb talk contribs 17,688 bytes −17 ce undo

curprev 07:3707:37, 13 March 2019 2601:647:5401:2548:ccc:6dc3:38f4:5175 talk 17,705 bytes −3 No edit summary undo

curprev 19:5119:51, 14 June 2018 84.101.10.210 talk 17,708 bytes +486 →Scientific publications: HAVi case study undo

curprev 05:2205:22, 13 June 2018 Gongshow talk contribs m 17,222 bytes +18 Unlinked: LNT undo

curprev 15:1215:12, 27 May 2018 CitationCleanerBot talk contribs m 17,204 bytes +69 arxivify URL / redundant url undo

curprev 04:4404:44, 25 May 2018 Vasywriter talk contribs 17,135 bytes +993 →Scientific publications: added new bib ref undo
curprev 04:2904:29, 25 May 2018 Vasywriter talk contribs 16,142 bytes −132 Undid revision 842570339 by Daybeers (talk) LNT is not LOTOS but a descendent of; an article is in preparation undo Tag: Undo

curprev 08:4208:42, 23 May 2018 Daybeers talk contribs m 16,274 bytes +132 Disambiguated: LNT → Language Of Temporal Ordering Specification (3) undo Tag: Dispenser [1.0]

curprev 22:4522:45, 22 May 2018 Dirkbeyer talk contribs 16,142 bytes +223 →Overview of some model checking tools: Add the criteria for a model checker to be included in the table, such that the criteria are clear to readers (as discussed on the Talk page) undo

curprev 11:0911:09, 19 May 2018 Vasywriter talk contribs 15,919 bytes −1 →Overview of some model checking tools: fixed 2nd error in CADP entry undo
curprev 11:0711:07, 19 May 2018 Vasywriter talk contribs 15,920 bytes +10 →Overview of some model checking tools undo

20 February 2025

30 November 2024

2 July 2024

25 June 2024

15 May 2024

5 January 2024

25 July 2023

12 January 2023

16 October 2022

2 October 2022

20 March 2022

16 March 2022

9 February 2022

14 December 2021

6 July 2021

6 April 2021

26 March 2021

28 February 2021

27 January 2021

5 January 2021

30 December 2020

6 December 2020

16 July 2020

24 June 2020

27 February 2020

13 February 2020

27 November 2019

13 October 2019

19 August 2019

22 June 2019

13 March 2019

14 June 2018

13 June 2018

27 May 2018

25 May 2018

23 May 2018

22 May 2018

19 May 2018