Is AI the Catalyst for Practical Software Verification?
Formal verification has always been powerful but impractical. AI might be the catalyst that finally makes it mainstream.
Tony's Blog
2025
2018
Consensus Protocol Using TLA+
Looking to dive into distributed systems research, I recently started learning how to write TLA+ specifications. TLA+ is a specification language used to mat...