LINKED LIST [txt mode] ▸ LLMs are making formal software verif...

home explore | log in

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

anthropic.com · first added by @annhex · 2026-10-23 · 2 upvotes

log in to save, upvote or flag this.

─── In 0 lists ─────────────────────────────────────────

(not in any lists yet)

─── Discussions ────────────────────────────────────────

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

437 pts · 280 comments · node

─── From the discussion ────────────────────────────────

* Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog

martin.kleppmann.com · node

* What TLA+ can and can't check

buttondown.com · node

* Using TLA+ in the Real World to Understand a Glibc Bug

probablydance.com · node

* Learn TLA+ (2018)

learntla.com · node

* Creusot

creusot.rs · node

─── Related hn threads ─────────────────────────────────

* Hunting a 16-year-old SQLite WAL bug with TLA+

239 pts · 29 comments · node

* Using TLA+ in the Real World to Understand a Glibc Bug

166 pts · 76 comments · node

* What TLA+ can and can't check

246 pts · 51 comments · node

* Learn TLA+ (2018)

310 pts · 58 comments · node

* Leslie Lamport: Video course on TLA+

328 pts · 74 comments · node