Things are getting better if you go to model-checking. Check out this TLA+ tutorial that covers interesting use-cases: https://learntla.com/introduction/ https

Things are getting better if you go to model-checking. Check out this TLA+ tutorial that covers interesting use-cases: https://learntla.com/introduction/ https://learntla.com/introduction/