Apalache: Symbolic model checker for TLA+ and Quint

2 points | by stevefan1999 4 hours ago