Formal methods: 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 12:2512:25, 7 October 2026 SchlurcherBot talk contribs m 48,937 bytes +6 Bot: http → https undo

curprev 21:4721:47, 6 October 2026 Andi Fugard talk contribs 48,931 bytes +88 →Specification undo Tag: Visual edit

curprev 05:4605:46, 15 September 2026 Valvino talk contribs m 48,843 bytes +1 →Interactive theorem proving: direct link to Rocq undo

curprev 06:4206:42, 14 September 2026 OAbot talk contribs m 48,842 bytes +31 Open access bot: hdl updated in citation with #oabot. undo

curprev 05:0605:06, 7 September 2026 OAbot talk contribs m 48,811 bytes +153 Open access bot: doi, arxiv, hdl updated in citation with #oabot. undo

curprev 03:5003:50, 3 September 2026 Dennj.osele talk contribs 48,658 bytes +14,927 Add History section; add deductive verification and interactive theorem proving undo Tag: Disambiguation links added

curprev 19:3119:31, 6 June 2026 ~2026-33518-94Temporary account has expired talk 33,731 bytes +1 Fix subject–verb agreement: change "formal methods is" to "formal methods are". undo

curprev 04:2404:24, 18 May 2026 OAbot talk contribs m 33,730 bytes +19 Open access bot: arxiv updated in citation with #oabot. undo

curprev 19:1919:19, 16 May 2026 Ira Leviton talk contribs m 33,711 bytes +6 Fixed a reference. Please see Category:CS1 errors: dates. undo
curprev 05:0005:00, 16 May 2026 ~2026-29439-59Temporary account has expired talk 33,705 bytes +406 add citation for sign-off verification claim undo

curprev 21:0421:04, 19 February 2026 ~2026-11285-52Temporary account has expired talk 33,299 bytes +96 →Model checkers undo Tags: Mobile edit Mobile web edit
curprev 20:5920:59, 19 February 2026 ~2026-11285-52Temporary account has expired talk 33,203 bytes +14 →Specification languages undo Tags: Mobile edit Mobile web edit

curprev 05:2005:20, 9 February 2026 OAbot talk contribs m 33,189 bytes +35 Open access bot: hdl updated in citation with #oabot. undo

curprev 01:2601:26, 8 December 2025 InternetArchiveBot talk contribs 33,154 bytes +132 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

curprev 21:4421:44, 23 September 2025 Hyeoniuwu talk contribs m 33,022 bytes −1 →Applications undo Tag: Visual edit

curprev 19:2919:29, 25 August 2025 Citation bot talk contribs 33,023 bytes −49 Added article-number. Removed URL that duplicated identifier. 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 925/1032 undo

curprev 21:5521:55, 19 June 2025 OAbot talk contribs m 33,072 bytes +73 Open access bot: url-access updated in citation with #oabot. undo

curprev 08:2808:28, 27 May 2025 GreenC bot talk contribs 32,999 bytes −17 Reformat 1 archive link. Wayback Medic 2.5 per WP:URLREQ#citeftp undo

curprev 16:0016:00, 20 December 2024 Kvng talk contribs m 33,016 bytes +1 compound modifier undo

curprev 02:4302:43, 19 August 2024 Daisytheduck talk contribs m 33,015 bytes −19 Reverted 1 edit by 202.51.69.102 (talk) to last revision by Kvng undo Tags: Twinkle Undo
curprev 02:4302:43, 19 August 2024 202.51.69.102 talk 33,034 bytes +19 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

curprev 20:0820:08, 23 July 2024 Kvng talk contribs 33,015 bytes −4 caps. WP:DUPLINK. undo

curprev 04:4904:49, 3 July 2024 Citation bot talk contribs 33,019 bytes −145 Alter: issue, title, template type. Add: volume, chapter-url, chapter, issue, doi, pages, authors 1-1. Removed or converted URL. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles to be expanded from June 2024 | #UCB_Category 603/652 undo

curprev 04:1504:15, 2 July 2024 JL-Bot talk contribs m 33,164 bytes −47 removing stale construction template as last edited 7 days ago undo

curprev 02:3302:33, 25 June 2024 Cryolophosaur talk contribs 33,211 bytes +1,132 →Techniques: Add section on BDDs undo

curprev 00:3600:36, 21 June 2024 Cryolophosaur talk contribs 32,079 bytes +88 →Specification: Add citation for claim about ALGOL formal semantics undo
curprev 00:2700:27, 21 June 2024 Cryolophosaur talk contribs 31,991 bytes +871 Add section on SAT solvers undo

curprev 05:5805:58, 20 June 2024 AnomieBOT talk contribs m 31,120 bytes +45 Dating maintenance tags: {{Citation needed}} {{Expand section}} undo
curprev 03:5703:57, 20 June 2024 Cryolophosaur talk contribs 31,075 bytes −1,402 Major rewrite - removed the poorly organized and uncited "Taxonomy" section, updated the "Uses" section, and started a new "Techniques" section. Also added several templates noting areas for improvement to the article undo

curprev 09:2409:24, 25 April 2024 InternetArchiveBot talk contribs 32,477 bytes +236 Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

curprev 17:2717:27, 6 April 2024 CoolieCoolster talk contribs m 32,241 bytes −5 Removed ™/©/® per MOS:TM (via WP:JWB) undo

curprev 18:3318:33, 23 March 2024 David Eppstein talk contribs m 32,246 bytes −21 Reverted edit by Thiagovscoelho (talk) to last version by OAbot undo Tag: Rollback
curprev 15:2115:21, 23 March 2024 Thiagovscoelho talk contribs 32,267 bytes +21 No edit summary undo Tag: Reverted

curprev 09:5509:55, 6 January 2024 OAbot talk contribs m 32,246 bytes +19 Open access bot: arxiv updated in citation with #oabot. undo

curprev 10:4410:44, 4 January 2024 OAbot talk contribs m 32,227 bytes +36 Open access bot: arxiv updated in citation with #oabot. undo

curprev 03:0903:09, 11 December 2023 OAbot talk contribs m 32,191 bytes +102 Open access bot: doi updated in citation with #oabot. undo

curprev 02:4002:40, 22 November 2023 MrOllie talk contribs 26,583 bytes −1,274 Reverted 1 edit by Atetali (talk): Rv apparent COI /citespam undo Tags: Twinkle Undo
curprev 02:3502:35, 22 November 2023 Atetali talk contribs 27,857 bytes +1,274 No edit summary undo Tag: Reverted

7 October 2026

6 October 2026

15 September 2026

14 September 2026

7 September 2026

3 September 2026

6 June 2026

18 May 2026

16 May 2026

19 February 2026

9 February 2026

8 December 2025

23 September 2025

25 August 2025

19 June 2025

27 May 2025

20 December 2024

19 August 2024

23 July 2024

3 July 2024

2 July 2024

25 June 2024

21 June 2024

20 June 2024

25 April 2024

6 April 2024

23 March 2024

6 January 2024

4 January 2024

11 December 2023

7 December 2023

22 November 2023

26 October 2023