corpus.blog
41,554 blogs · 4,981,167 posts Claim your blog
Record · corpus.blog/posts/01a087ca-98c3-7158-b18f-6d6fb89d7fc3

Proving safety of Tendermint consensus with Apalache and AI

protocols-made-fun.com · published 23 July 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
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
15
Words captured
2,448

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://dl.acm.org/doi/10.1145/800221.806707?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
dl.acm.org
https://arxiv.org/abs/1807.04938?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
arxiv.org
https://github.com/cometbft/cometbft/blob/6ba279560e3aa6a1eb0739c6af9bc3b8bbb24563/spec/light-client/accountability/TendermintAcc_004_draft.tla?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/cometbft/cometbft/blob/6ba279560e3aa6a1eb0739c6af9bc3b8bbb24563/spec/light-client/accountability/TendermintAccInv_004_draft.tla?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://lmcs.episciences.org/10824?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
lmcs.episciences.org
https://rodrigo7491.github.io/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
rodrigo7491.github.io
https://github.com/apalache-mc/apalache/issues/2067?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/tendermint/tendermint?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/konnov/apalache-examples/blob/main/tendermint/tendermint_single_indinv.tla?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/wunderspec/wunderspec/blob/main/examples/tendermint_single.py?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/wunderspec/wunderspec/blob/main/examples/tendermint_single_indinv.py?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/konnov/apalache-examples/blob/main/tendermint/tendermint_single_indinv_proofs.tla?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/konnov/leanda/blob/main/tendermint-single/TendermintSingle/Defs.lean?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed
github.com
https://github.com/konnov/leanda/tree/main/tendermint-single/TendermintSingle/Proofs?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
Elsewhere on protocols-made-fun.com (1)