6 stories tagged formal-methods, newest first.
346 points by xiaoyu2006 | 246 comments
Transcription of Edsger Dijkstra's 1978 essay EWD 667 arguing that programming in natural language is misguided and formal symbolism is a privilege.
223 points by b-man | 47 comments
Hillel Wayne's Computer Things newsletter post on the limits of what TLA+ can verify, pushing back on claims that TLA+ with AI models will make AI-written code reliable.
44 points by matt_d | 3 comments
Blog post on the Metadata blog exploring compositional theories of self-stabilization, using a rely-guarantee TLA+ model of a retry storm and metastable failure.
322 points by eatonphil | 99 comments
Jane Street Blog post on formal methods and their role in the future of programming, illustrated with OCaml-style specification code.
345 points by tanelpoder | 127 comments
Communications of the ACM practice article by Marc Brooker and Ankush Desai on how AWS uses formal and semi-formal methods to ensure systems correctness.
390 points by nimbleplum40 | 236 comments
Transcription of Edsger Dijkstra's manuscript EWD 667 arguing that programming in natural language is foolish and that formal symbolism is essential.