HackerTube / Video
"Finding bugs without running or even looking at code" by Jay Parlar
Strange Loop Conference
Jay Parlar's Strange Loop talk shows how model checkers such as Alloy can find complex bugs in a system's design without running or reading any code. He walks through modeling architectures and checking every possible sequence of operations, including a real security bug and a UI feature-interaction bug.
HN commenters point to it as the best practical introduction to Alloy and to lightweight formal modeling.
4 Hacker News mentions · 2019–2023