login sign up

What TLA+ can and can't check

buttondown.com · first added by @harryh
saved by
1 person
discussions · 1
What TLA+ can and can't check 243 pts · 51 comments · Sep 2026 243 pts · 51 comments · Sep 2026
0 people saved or upvoted this
from the discussion · 5
https://dl.acm.org/doi/10.1145/567446.567463 dl.acm.org dl.acm.org
0 people saved or upvoted this
The internet discovers TLA+. Now what? reasonable.io reasonable.io
0 people saved or upvoted this
GitHub - quint-co/quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA) github.com github.com
0 people saved or upvoted this
Why? | Quint Docs quint.sh quint.sh
0 people saved or upvoted this
GenMC: Model checking for concurrent C programs plv.mpi-sws.org plv.mpi-sws.org
0 people saved or upvoted this
related HN threads · 1
The internet discovers TLA+. Now what? 128 pts · 71 comments · Sep 2026 128 pts · 71 comments · Sep 2026
0 people saved or upvoted this