formal methods

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.

Speaker image - Hillel Wayne

Hillel Wayne

Author of "Logic for Programmers" and "Learn TLA+", Thought Leader in the Space of Empirical Software Engineering