[nine_k]

Could you offer an example?

[jupp0r]

If you work through the TLA+ tutorial[1] it will help you get a good idea of the benefits and limitations of verification.

[1] https://learntla.com/