apalache-mc/apalache

APALACHE: symbolic model checker for TLA+ and Quint

3 best points · 0 comments · 1 Hacker News post · 623 GitHub stars · View on GitHub

Hacker News discussions

• Apalache: Symbolic model checker for TLA+ and Quint (3 points, 0 comments, by stevefan1999, 2026-05-21)