How to find bugs in systems that don't exist
Topics:
architecture
tools
software architecture
scaling
Level: Intermediate
[TODO rewrite] 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. Formal methods encourages unusual perspectives on systems, models that are also broadly useful to all software developers. In this talk we will learn how to see the world through the eyes of formal methods, how to understand abstract behavior, and how to find bugs in systems before you still building them.
Speaker
Hillel Wayne
Software Development Consultant at Windy Coast Consulting