Back to article
Protocols Made Fun

Extracting formal specifications from Apache ZooKeeper with AI tools and Apalache (opens in new tab)

Covers 3 stories See all stories this covers including Changes to GitHub Copilot Individual plans

Feeds

Protocols Made Fun protocols-made-fun.com

All things about protocol specification, testing, and verification. Subject to the Creative Commons Attribution 4.0 International License.

Extracting formal specifications from Apache ZooKeeper with AI tools and Apalache
TLC breadth-first search vs random simulation
Specification debugging as code generation

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help