Formal verification: Revision history

28 September 2026

• curprev 12:5812:58, 28 September 2026 Alban R talk contribs 18,995 bytes +478 Mention of HACL*, a verified cryptographic library, that has industrial application, for example in Firefox. undo Tag: Visual edit

20 September 2026

• curprev 04:0204:02, 20 September 2026 Wikideas1 talk contribs 18,517 bytes +34 →References: {{Electronic design automation}} undo

15 September 2026

• curprev 13:1213:12, 15 September 2026 Tpbradbury talk contribs 18,483 bytes −692 →Industry use: remove unverified claims undo

26 July 2026

• curprev 03:2203:22, 26 July 2026 AnomieBOT talk contribs m 19,175 bytes +15 Dating maintenance tags: {{Cn}} undo
• curprev 03:0203:02, 26 July 2026 Headbomb talk contribs 19,160 bytes +8 ce undo
• curprev 03:0203:02, 26 July 2026 Headbomb talk contribs 19,152 bytes −294 self publisher undo
• curprev 00:5800:58, 26 July 2026 Headbomb talk contribs 19,446 bytes −73 Add: chapter, title. | Use this tool. Report bugs. | #UCB_Gadget undo
• curprev 00:5500:55, 26 July 2026 Citation bot talk contribs 19,519 bytes +119 Altered title. Added chapter. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo
• curprev 00:5400:54, 26 July 2026 Citation bot talk contribs 19,400 bytes +51 Altered template type. Add: isbn, bibcode. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

15 June 2026

• curprev 05:3705:37, 15 June 2026 OAbot talk contribs m 19,349 bytes +18 Open access bot: arxiv updated in citation with #oabot. undo

8 June 2026

• curprev 17:1917:19, 8 June 2026 ~2026-33957-69Temporary account has expired talk 19,331 bytes +627 Ground the program repair paragraph with a citation to an academic paper. undo

15 April 2025

• curprev 10:4510:45, 15 April 2025 Ringo62 talk contribs m 18,704 bytes −69 MOS:NOPIPE undo Tag: Visual edit
• curprev 10:4210:42, 15 April 2025 Ringo62 talk contribs m 18,773 bytes −28 Remove link to disambiguation page undo Tag: Visual edit
• curprev 07:1007:10, 15 April 2025 GENGCHEN LIU talk contribs 18,801 bytes +249 Added a citation to the Common Criteria standard that mentioned EAL7. undo Tag: Visual edit

29 March 2025

• curprev 08:2708:27, 29 March 2025 Valvino talk contribs 18,552 bytes +32 new name undo

26 March 2025

• curprev 02:3702:37, 26 March 2025 Citation bot talk contribs 18,520 bytes +53 Added work. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Theoretical computer science | #UCB_Category 38/137 undo

15 March 2025

• curprev 05:3005:30, 15 March 2025 Ringo62 talk contribs m 18,467 bytes 0 MOS:SECTIONCAPS undo Tag: Visual edit

9 March 2025

• curprev 21:4121:41, 9 March 2025 David Eppstein talk contribs 18,467 bytes +29 Claire Le Goues undo

19 November 2024

• curprev 04:5304:53, 19 November 2024 WikiCleanerBot talk contribs m 18,438 bytes −1 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

16 November 2024

• curprev 15:4615:46, 16 November 2024 Vkuncak talk contribs m 18,439 bytes −34 →Application to Software: Replaced link to a non-existing article with a link to a broader concept undo
• curprev 15:4115:41, 16 November 2024 Vkuncak talk contribs m 18,473 bytes +56 →See also: links to relevant pages undo Tag: Visual edit: Switched
• curprev 15:3815:38, 16 November 2024 Vkuncak talk contribs m 18,417 bytes +43 →Approaches: Introduced names for paragraphs. Somewhat streamlined the opening. undo
• curprev 15:0915:09, 16 November 2024 Vkuncak talk contribs m 18,374 bytes +871 →Approaches: Added two book citations that refer to the term "Deductive Verification" undo

6 October 2024

• curprev 07:5807:58, 6 October 2024 Faridgurbanov3 talk contribs 17,503 bytes +28 →Industry use undo Tag: Visual edit

4 September 2024

• curprev 14:3014:30, 4 September 2024 Steelswords1 talk contribs m 17,475 bytes +21 Pointed red link to electronics industry undo Tag: Visual edit

26 April 2024

• curprev 19:5619:56, 26 April 2024 GreenC bot talk contribs 17,454 bytes −26 Rescued 1 archive link; Move 2 urls. Wayback Medic 2.5 per WP:URLREQ#Network World undo

25 April 2024

• curprev 09:2609:26, 25 April 2024 InternetArchiveBot talk contribs 17,480 bytes +360 Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

5 April 2024

• curprev 15:5315:53, 5 April 2024 Citation bot talk contribs 17,120 bytes +23 Added date. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 788/3364 undo

23 March 2024

• curprev 18:3218:32, 23 March 2024 David Eppstein talk contribs m 17,097 bytes −20 Reverted edit by Thiagovscoelho (talk) to last version by Maxeto0910 undo Tag: Rollback
• curprev 15:2615:26, 23 March 2024 Thiagovscoelho talk contribs 17,117 bytes +20 No edit summary undo Tag: Reverted

16 January 2024

• curprev 22:3122:31, 16 January 2024 Maxeto0910 talk contribs m 17,097 bytes −3 No edit summary undo Tag: Visual edit

5 January 2024

• curprev 14:0014:00, 5 January 2024 OAbot talk contribs m 17,100 bytes +18 Open access bot: arxiv updated in citation with #oabot. undo

2 December 2023

• curprev 17:3617:36, 2 December 2023 Citation bot talk contribs 17,082 bytes −8 Add: doi. Removed proxy/dead URL that duplicated identifier. Upgrade ISBN10 to 13. | Use this bot. Report bugs. | #UCB_CommandLine undo

12 November 2023

• curprev 19:5219:52, 12 November 2023 ElliAWB talk contribs m 17,090 bytes +15 Disambiguating links to Coq (link changed to Coq (software)) using DisamAssist. undo

29 October 2023

• curprev 19:1619:16, 29 October 2023 Spellbinding Nitwit talk contribs m 17,075 bytes −41 14 years, 18 additional citations, and 241 constructive edits later and I remove the tag undo

17 October 2023

• curprev 10:1010:10, 17 October 2023 Angeld23 talk contribs 17,116 bytes 0 fix hatnote undo

11 October 2023

• curprev 00:0500:05, 11 October 2023 BD2412 talk contribs m 17,116 bytes +14 clean up spacing around commas and other punctuation, replaced: ,H → , H, , → , undo Tag: AWB

23 September 2023

• curprev 22:5622:56, 23 September 2023 Materialscientist talk contribs m 17,102 bytes +41 Reverted edits by 2400:C600:3564:CFF0:1:0:DCA5:E252 (talk): unexplained content removal (HG) (3.4.12) undo Tags: Huggle Rollback
• curprev 22:4022:40, 23 September 2023 2400:c600:3564:cff0:1:0:dca5:e252 talk 17,061 bytes −41 No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

19 September 2023

• curprev 13:0513:05, 19 September 2023 Rodw talk contribs m 17,102 bytes +18 Disambiguating links to Hardware (link changed to Computer hardware) using DisamAssist. undo
• curprev 04:5104:51, 19 September 2023 WikiCleanerBot talk contribs m 17,084 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

12 September 2023

• curprev 12:2212:22, 12 September 2023 Vkuncak talk contribs m 17,084 bytes +48 Horn clauses alongside transition systems; better link to OS kernel undo
• curprev 10:3310:33, 12 September 2023 Vkuncak talk contribs m 17,036 bytes +332 Added relationship to formal methods (and its article); mentioned two key industrial results in the opening paragraph. undo
• curprev 09:5609:56, 12 September 2023 Vkuncak talk contribs m 16,704 bytes +471 Established links to electronic design automation, software verification, and the common criteria undo
• curprev 09:3509:35, 12 September 2023 Vkuncak talk contribs m 16,233 bytes +314 Added a citation, simplified and generalized the definitions to ensure the definition is broad enough. undo Tag: Disambiguation links added

18 August 2023

• curprev 22:0822:08, 18 August 2023 OAbot talk contribs m 15,919 bytes +17 Open access bot: doi updated in citation with #oabot. undo

15 May 2023

• curprev 01:2101:21, 15 May 2023 Citation bot talk contribs 15,902 bytes +17 Alter: url. URLs might have been anonymized. Add: s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | Linked from User:AManWithNoPlan/sandbox4 | #UCB_webform_linked 292/890 undo

7 March 2023

• curprev 23:3623:36, 7 March 2023 David Eppstein talk contribs 15,885 bytes +28 Sandrine Blazy undo

22 February 2023

• curprev 19:5519:55, 22 February 2023 Blitxen talk contribs m 15,857 bytes +573 Add two citations for the CompCert C compiler. undo Tag: Visual edit

18 February 2023

• curprev 19:0519:05, 18 February 2023 Maxeto0910 talk contribs m 15,284 bytes −64 Removed double links in section. undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit