Case studies
Case studies
These writeups show the kind of work I do for protocol teams: turning ambiguous distributed-system behavior into executable specifications, model-checking campaigns, and test harnesses.
More technical write-ups are on Protocols Made Fun →
AI-assisted conformance testing of ZooKeeper
Extracting a formal specification from a real distributed system and using Apalache + AI-assisted harnesses to explore failures around leader election, TCP disconnects, persistence, and recovery.
Interactive symbolic testing of TFTP
A compact protocol-testing lab showing how symbolic exploration finds behavior that conventional hand-written tests tend to miss.