Login
From:
Protocols Made Fun
(Uncensored)
subscribe
Model checking safety of Ben-Or’s Byzantine consensus with Apalache | Protocols Made Fun
https://protocols-made-fun.com/specification/modelchecking/tlaplus/apalache/2024/11/03/ben-or.html
links
backlinks
Tagged with:
distributed
formalmethods
Roast topics
Find topics
Find it!
Author: Igor Konnov
