Hacker News new | ask | show | jobs
Apalache: Symbolic model checker for TLA+ and Quint (github.com)
3 points by stevefan1999 29 days ago