LINKED LIST [txt mode] ▸ What TLA+ can and can't check

home explore | log in

What TLA+ can and can't check

buttondown.com · first added by @harryh · 2026-10-05 · 1 upvotes

log in to save, upvote or flag this.

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

(not in any lists yet)

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

* What TLA+ can and can't check

243 pts · 51 comments · node

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

* https://dl.acm.org/doi/10.1145/567446.567463

dl.acm.org · node

* The internet discovers TLA+. Now what?

reasonable.io · node

* GitHub - quint-co/quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

github.com · node

* Why? | Quint Docs

quint.sh · node

* GenMC: Model checking for concurrent C programs

plv.mpi-sws.org · node

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

* The internet discovers TLA+. Now what?

128 pts · 71 comments · node