A Tool for Exploring Formal Specifications Dec 12, 2024 Decomposing Concurrent Protocols via Interactions Dec 2, 2024 Inductive Proof Graphs Oct 15, 2024 Notes on Raft's Reconfiguration Bug Feb 9, 2024 Machine Closure Aug 5, 2020 Defining Safety and Liveness Aug 1, 2020 Specifications and Properties in TLA+ Jul 21, 2020 Cracking Go's PRNG For Fun and (Virtual) Profit Jun 30, 2017