resilience
Session
resilience
How to Find Resilience Bugs in Systems that Don't Exist
Wednesday Mar 18 / 10:35AM GMT
Building correct distributed systems takes thinking outside the box, and the fastest way to do that is to think inside a different box. One different box is "formal methods", the discipline of mathematically verifying software and systems.
Hillel Wayne
Author of "Logic for Programmers" and "Learn TLA+", Thought Leader in the Space of Empirical Software Engineering