math/formal-methods.
- Practical Alloy
- Revisiting an early critique of formal verification
- Systems Correctness Practices at AWS
- A brief meditation on formal systems and lying goblins
- Formal Methods: Just Good Engineering Practice?
- Implementing and Verifying "Static Program Analysis" in Agda, Part 1: Lattices
- Fairness in TLA+
- TLA from first principles
- Why I use TLA+ and not(TLA+): Episode 1
- Be Suspicious of Success
- On the cruelty of really teaching computing science
- A liveness example in TLA+ – Surfing Complexity
- How to convince engineers that formal methods is cool • Buttondown
- State and time are the same thing • Buttondown