LINKED LIST
[txt mode]
▸
Why Don't People Use Formal Methods?
home
explore
|
log in
Why Don't People Use Formal Methods?
hillelwayne.com · first added by
@afreshcup
· 2026-09-30 · 1 upvotes
log in
to save, upvote or flag this.
─── In 0 lists ─────────────────────────────────────────
(not in any lists yet)
─── Discussions ────────────────────────────────────────
*
Why Don't People Use Formal Methods?
420 pts · 225 comments ·
node
*
Why don't people use formal methods? (2019)
128 pts · 117 comments ·
node
*
Why Don't People Use Formal Methods? – 2019
18 pts · 7 comments ·
node
─── From the discussion ────────────────────────────────
*
https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf
lamport.azurewebsites.net ·
node
*
Formal methods and the future of programming
blog.janestreet.com ·
node
*
https://m-cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
m-cacm.acm.org ·
node
*
https://mitpress.mit.edu/books/software-abstractions-revised-edition
mitpress.mit.edu ·
node
*
Hillel Wayne - Everything about distributed systems is terrible | Code Mesh LDN 18
youtu.be ·
node
─── Related hn threads ─────────────────────────────────
*
User Guide to Model Checking for Industrial Programmers with TLA+
1 pt · 1 comment ·
node