Computer Science · Formal Methods & Verification
A topic within Formal Methods & Verification, itself one of 9 topics in that field and part of Computer Science.
2 works
Newcombe et al.
Reports that TLA+ specifications found subtle bugs in production distributed systems that code review and testing had missed, an argument for verification as an everyday engineering tool.
8 pageslink checked 17 Sept 2026Richard A. DeMillo, Richard J. Lipton & Alan J. Perlis
Argues that mathematical proofs persuade because a community works and reworks them socially, a process formal program verification could not yet replicate.
Assumes having seen a mathematical proof argued over by people, which is the process the paper is about
10 pageslink checked 17 Sept 2026