• A Tool for Exploring Formal Specifications
• Decomposing Concurrent Protocols via Interactions
• Inductive Proof Graphs
• Notes on Raft's Reconfiguration Bug
• Machine Closure
• Defining Safety and Liveness
• Specifications and Properties in TLA+
• Cracking Go's PRNG For Fun and (Virtual) Profit
• Reverse Engineering the MP-69D Scoreboard Controller