login sign up

LLMs are making formal software verification feasible at a much larger scale

anthropic.com · first added by @annhex
saved by
2 people
discussions · 1
LLMs are making formal software verification feasible at a much larger scale 437 pts · 280 comments · Oct 2026 437 pts · 280 comments · Oct 2026
0 people saved or upvoted this
from the discussion · 5
Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog martin.kleppmann.com martin.kleppmann.com
2 people saved or upvoted this
What TLA+ can and can't check buttondown.com buttondown.com
2 people saved or upvoted this
Using TLA+ in the Real World to Understand a Glibc Bug probablydance.com probablydance.com
0 people saved or upvoted this
Learn TLA+ (2018) learntla.com learntla.com
0 people saved or upvoted this
Creusot creusot.rs creusot.rs
0 people saved or upvoted this
related HN threads · 5
Hunting a 16-year-old SQLite WAL bug with TLA+ 239 pts · 29 comments · Jun 2026 239 pts · 29 comments · Jun 2026
0 people saved or upvoted this
Using TLA+ in the Real World to Understand a Glibc Bug 166 pts · 76 comments · Nov 2020 166 pts · 76 comments · Nov 2020
0 people saved or upvoted this
What TLA+ can and can't check 246 pts · 51 comments · Sep 2026 246 pts · 51 comments · Sep 2026
0 people saved or upvoted this
Learn TLA+ (2018) 310 pts · 58 comments · Feb 2020 310 pts · 58 comments · Feb 2020
0 people saved or upvoted this
Leslie Lamport: Video course on TLA+ 328 pts · 74 comments · Mar 2017 328 pts · 74 comments · Mar 2017
0 people saved or upvoted this