#verificationView all tags

• Spec-Driven Development: Making the Spec the Center of Gravity

  December 1, 2020 · 4 min — #research-notes#formal-methods#verification#protocol-design#correctness

• Designing APIs for Correctness: Types, Lifetimes, and Capabilities

  November 1, 2020 · 3 min — #research-notes#formal-methods#verification#protocol-design#correctness

• Verified Crypto Interfaces: Constant-Time Boundaries and Misuse Resistance

  October 1, 2020 · 3 min — #research-notes#formal-methods#verification#protocol-design#correctness

• Symbolic Execution: When Brute Force Becomes Logic

  September 1, 2020 · 3 min — #research-notes#formal-methods#verification#protocol-design#correctness

• Concurrency Testing in Rust: Loom, Schedules, and Determinism

  August 1, 2020 · 3 min — #research-notes#formal-methods#verification#protocol-design#correctness

• Fuzzing Protocol Parsers: When Inputs Are Adversarial

  July 1, 2020 · 3 min — #research-notes#formal-methods#verification#protocol-design#correctness

• Differential Testing: Using Other Implementations as Oracles

  June 1, 2020 · 4 min — #research-notes#formal-methods#verification#protocol-design#correctness

• Property-Based Testing: Finding Bugs You Didn’t Imagine

  May 1, 2020 · 3 min — #research-notes#formal-methods#verification#protocol-design#correctness

• Refinement: Proving Your Implementation Matches the Spec

  April 1, 2020 · 3 min — #research-notes#formal-methods#verification#protocol-design#correctness

• Model Checking at Scale: State Explosion and How to Cheat

  March 1, 2020 · 4 min — #research-notes#formal-methods#verification#protocol-design#correctness

• TLA+ for Engineers: Modeling the Minimal Thing That Can Break You

  February 1, 2020 · 3 min — #research-notes#formal-methods#verification#protocol-design#correctness

• Safety/Liveness Catalog: A Practical Checklist for Protocol Specs

  January 1, 2020 · 3 min — #research-notes#formal-methods#verification#protocol-design#correctness