Formal Specification
2022
March
What's the fuss about formal specifications? (Part 2)
In which we debug a production bug (loosely based on a real bug at Lyft) and check its fix in the TLA+ model checker!
What's the fuss about formal specifications? (Part 1)
What Math ✨ can bring to your daily toolbox of programming tools to write robust, concurrent programs: a light introduction to TLA+.