Finding Bugs Without Running or Even Looking at Code

Explore advanced bug detection techniques in this 40-minute Strange Loop Conference talk. Learn how to uncover complex system issues without accessing, running, or even seeing the code. Discover the power of model checkers like Alloy for validating architectural proposals and simulating every possible system operation. Gain insights into finding subtle security flaws and invalidating potentially problematic work early in the design process. Follow along as the speaker demonstrates real-world applications of formal methods in industry, including examples from permission systems and API models. Understand how these techniques can benefit both early-stage projects and newcomers trying to comprehend existing systems. Delve into topics such as invariance assertions, model logic, and the Cord Protocol. Conclude with a summary of key takeaways and resources for further exploration in this fascinating realm of software engineering and formal methods.