Interview
summary
Argues that lightweight formal methods are already simple enough to use in non‑critical, everyday software and demonstrates that by running an Alloy workshop alongside a shorter presentation; contrasts Alloy with a proof tool (referred to as Da-plus) and shows practical modeling examples and behavioral/temporal specs from Alloy v6. Reports dozens of follow-up conversations and concrete industry interest, framing the event as more about user uptake than pure technical contributions.
AI-written summary · about
related talks
46mKeynote: Formal Verification? No, Formal Reasoning!
40mFinding bugs without running or even looking at code
01h 00mEngineering Software
08mLightning talks – 101 Things Software Never Learnt
01mSoftware doesn't tolerate ambiguity
01h 01m"Design in Practice"
40mKeynote: Fireside Chat on code design
35mCraft, Engineering, and the Essence of Programming