Apalache: Symbolic model checker for TLA+ and Quint

 (github.com)

2 points | by stevefan1999 5 hours ago ago

No comments yet.