Notes on Executable Specs, Verification, and Reliability
Writing and talks from the edge cases.
I’m Dr. Thomas Pani. This is where I write about executable specs, adversarial testing, formal verification, and the failure modes that matter in complex software.
Notes on Executable Specs, Verification, and Reliability
Writing and talks from the edge cases.
I’m Dr. Thomas Pani. This is where I write about executable specs, adversarial testing, formal verification, and the failure modes that matter in complex software.
Talks & Writing
I occasionally give talks and workshops on fuzzing, formal methods, and protocol safety.
From time to time, I also write about what I learn along the way.
Formal Verification of the Aztec Governance Protocol
2025-12-09An in-depth report of formally verifying Aztec's governance protocol, highlighting key decisions and outcomes.
Talk: 25-Minute Solidity Fuzzer — Fuzzing Smarter, Not Harder
2025-07-02
Recording of my hands-on workshop from Protocol Berg 2025 in Berlin.
Build a functional EVM/Solidity smart contract fuzzer in Python in just 25
minutes!
Why Formal Verification Isn't Just Fancy Exhaustive Testing
2025-06-28A deep dive into the differences between formal methods and exhaustive testing, and why they are not interchangeable.
Fuzzlands: Map of the Wider Fuzzing Landscape
2025-05-27An playful practitioner's guide to fuzzing tools, techniques, and their evolution.
Get in Touch Limited Availability
If you need stronger evidence that a complex system behaves correctly, reach out.
- Consulting engagements and workshops, remote or on-site.
- I typically respond within one business day.
- A first call is 30 minutes, no preparation needed, and there is no commitment.
