Model checking safety of Ben-Or’s Byzantine consensus with Apalache | Protocols Made Fun #27
giscus[bot]
Bot
Replies: 1 comment
-
|
Feel free to comment on the blog post, powered by GitHub discussions. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Model checking safety of Ben-Or’s Byzantine consensus with Apalache | Protocols Made Fun
Author: Igor Konnov
https://protocols-made-fun.com/specification/modelchecking/tlaplus/apalache/2024/11/03/ben-or.html
Beta Was this translation helpful? Give feedback.
All reactions