Presentation: How to Find Resilience Bugs in Systems that Don't Exist
Hillel Wayne discusses how formal methods principles - such as property strength, state-space verification, and environment assumptions - help software engineers uncover critical architectural bugs early. He shares practical mental models like "adversarial non-determinism" to reason about concurrency, edge cases, and distributed system failures without needing complex mathematical tools. By…
We haven't written up this one. InfoQ has the full story — the link below goes straight to it.
