• Why I use TLA+ and not(TLA+) https://protocols-made-fun.com/specification/modelchecking/tlaplus/quint/2024/10/05/tla-and-not-tla.html 4 comments 7/10/2024 formalmethods