corpus.blog
43,398 blogs · 5,519,570 posts Claim your blog
Record · corpus.blog/posts/01a087ca-98c3-7158-b18f-6d6fb9385b26

Formal proofs for distributed protocols with AI may be closer than you think

protocols-made-fun.com · published 26 June 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at protocols-made-fun.com Wayback capture
1blogs citing
First cited
15 Aug 2026
Most recent
15 Aug 2026
Rank this month
not ranked
External links
8
Words captured
2,602

Cited by

Blog
In the post
Date
ivan-gavran.github.io
The Case Against Formal Verification, 50 Years Later Read at the source ↗
15 Aug 2026

Links from this post

Link
Host
https://conferences.i-cav.org/2026/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
conferences.i-cav.org
https://github.com/wunderspec/wunderspec/blob/main/examples/ben_or.py?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/konnov/leanda/blob/main/Ben-Or/BenOr/Defs.lean?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://konnov.phd/?pmf=20260427&utm_source=protocols_made_fun&utm_medium=referral&utm_campaign=pmf_site
konnov.phd
https://github.com/konnov/apalache-examples/blob/main/ben-or83/Ben_or83_inductive.tla?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/konnov/leanda/tree/main/Ben-Or?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/konnov/apalache-examples/commit/d624842d697fe9e1c539eda1d3636326b28962ad?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/konnov/apalache-examples/blob/main/ben-or83/Ben_or83_proofs.tla?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
Elsewhere on protocols-made-fun.com (6)
https://protocols-made-fun.com/ben-or.html?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
protocols-made-fun.com
https://protocols-made-fun.com/paper26?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
protocols-made-fun.com
https://protocols-made-fun.com/img/invariants-and-proofs.png?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
protocols-made-fun.com
Extracting formal specifications from Apache ZooKeeper with AI tools and Apalache Read at the source ↗
protocols-made-fun.com
https://protocols-made-fun.com/img/lean-proofs-git-stats.svg?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
protocols-made-fun.com
https://protocols-made-fun.com/img/tlaps-proofs-git-stats.svg?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
protocols-made-fun.com