Login
From:
Protocols Made Fun
(Uncensored)
subscribe
Why I use TLA+ and not(TLA+): Episode 1 | Protocols Made Fun
https://protocols-made-fun.com/specification/modelchecking/tlaplus/quint/2024/10/05/tla-and-not-tla.html
links
backlinks
Tagged with:
formalmethods
Roast topics
Find topics
Find it!
Author: Igor Konnov
