https://www.infoq.com InfoQ Resilience feed https://www.infoq.com/presentations/formal-methods-principles/?utm_campaign=infoq_content&utm_source=infoq&utm_medium=feed&utm_term=Resilience <img src="https://res.infoq.com/presentations/formal-methods-principles/en/mediumimage/hillel-wayne-medium-1790846078119.jpeg"/><p>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.</p> <i>By Hillel Wayne</i> Debugging Concurrency Resilience Reliability QCon London 2026 Transcripts Verification Distributed Systems Architecture & Design Culture & Methods Development presentation Wed, 14 Oct 2026 11:00:00 GMT https://www.infoq.com/presentations/formal-methods-principles/?utm_campaign=infoq_content&utm_source=infoq&utm_medium=feed&utm_term=Resilience Hillel Wayne 2026-10-14T11:00:00Z /presentations/formal-methods-principles/en