Record · corpus.blog/posts/01a087ca-98c3-7158-b18f-6d6fb9bca217

Extracting formal specifications from Apache ZooKeeper with AI tools and Apalache

protocols-made-fun.com · published 26 May 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
Links from this post: 24
Words captured: 4,535

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://conf.tlapl.us/2026-etaps/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

conf.tlapl.us

https://www.youtube.com/watch?v=CQPhAfi-6Uk&utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

youtube.com

https://github.com/apalache-mc/apalache/tree/main/json-rpc?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

github.com

Interactive Symbolic Testing of TFTP with TLA+ and Apalache Read at the source ↗

protocols-made-fun.com

https://zookeeper.apache.org/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

zookeeper.apache.org

https://www.tu.berlin/en/mtv/research/events/d-con-2026?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

tu.berlin

https://www.tu.berlin/en/mtv/team/head/uwe-nestmann?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

tu.berlin

Specification debugging as code generation Read at the source ↗

protocols-made-fun.com

https://protocols-made-fun.com/img/zk-testing/extraction-loop.png?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

protocols-made-fun.com

https://www.theregister.com/2026/04/22/anthropic_removes_claude_code_pro/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

theregister.com

Changes to GitHub Copilot Individual plans Read at the source ↗

github.blog

https://dl.acm.org/doi/abs/10.1145/3689031.3696069?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

dl.acm.org

https://protocols-made-fun.com/img/zk-testing/git_stats_commits.png?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

protocols-made-fun.com

https://protocols-made-fun.com/img/zk-testing/git_stats_lines.png?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

protocols-made-fun.com

https://protocols-made-fun.com/img/zk-testing/git_stats_spec.png?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

protocols-made-fun.com

https://protocols-made-fun.com/img/zk-testing/git_stats_zoomonkey.png?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

protocols-made-fun.com

https://konnov.phd/?pmf=20260427&utm_source=protocols_made_fun&utm_medium=referral&utm_campaign=pmf_site

konnov.phd

https://gist.github.com/konnov/38af0cbd45b68da819cd76f70859ed94?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

gist.github.com

https://en.wikipedia.org/wiki/Digital_twin?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

en.wikipedia.org

https://www.gnu.org/software/parallel/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

gnu.org

https://apalache-mc.org/docs/adr/015adr-trace.html?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

apalache-mc.org

https://protocols-made-fun.com/img/zk-testing/episodes-summary.png?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

protocols-made-fun.com

https://github.com/Disalg-ICS-NJU/zookeeper-tla-spec?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

github.com

https://protocols-made-fun.com/img/zk-testing/at_least_one_committed.svg?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed

protocols-made-fun.com