Apalache: Symbolic model checker for TLA+ and Quint

(github.com) by stevefan1999 | May 21, 2026 | 0 comments on HN