Quint

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…

Gabriela Moreira, a formal methods expert at Informal Systems, discussed on the InfoQ Engineering Culture Podcast how AI is lowering barriers to formal specification and model-based testing through th…