23:08
2026-08-16
sourcefeed.dev
artificial-intelligence
AI Broke Half the Case Against Formal Verification
Ivan Gavran, a researcher on the Quint specification language, argued in a blog post that AI coding agents have shifted the economics of formal verification, making the 1979 critique by De Millo, Lipt…