About the Apalache Success Stories category

[igor]

You have used Apalache to check a non-trivial TLA+ specification? Tell us about it!