Personal Page and Blog

Posts

• Jul 12, 2025

  P Verified Log 5: Single Producer And Outlook

• Jul 11, 2025

  P Verified Log 4: Debugging With Peasyviz

• Jul 11, 2025

  P Verified Log 3: Introducing Failures

• Jul 10, 2025

  P Verified Log 2: Modeling The Happy Path

• Jul 10, 2025

  P Verified Log 1: The Need For Verification

• Feb 2, 2025

  Glitch: A Deterministic Simulation Testing Library For Distributed Protocols

subscribe via RSS