Apalache: symbolic model checker for TLA+ and Quint
About the Apalache Success Stories category
Apalache Success Stories
igor
September 6, 2024, 7:56am
1
You have used Apalache to check a non-trivial TLA+ specification? Tell us about it!