https://www.infoq.com InfoQ Business feed https://www.infoq.com/podcasts/formal-methods-ai-powered-future/?utm_campaign=infoq_content&utm_source=infoq&utm_medium=feed&utm_term=Business <img src="https://res.infoq.com/podcasts/formal-methods-ai-powered-future/en/smallimage/engineering-culture-podcast-thumbnail-1783939027592.jpg"/><p>In this podcast Shane Hastie, Lead Editor for Culture & Methods spoke to Gabriela Moreira about making formal methods accessible through the Quint specification language, how AI is dramatically lowering the barrier to entry for formal specification and model-based testing, and why defining correct system behaviour remains essential human work in an AI-driven world.</p> <i>By Gabriela Moreira</i> Testing AI Assisted Coding Requirements Engineering Culture Podcast Culture & Methods podcast Fri, 10 Jul 2026 09:00:00 GMT https://www.infoq.com/podcasts/formal-methods-ai-powered-future/?utm_campaign=infoq_content&utm_source=infoq&utm_medium=feed&utm_term=Business Gabriela Moreira 2026-07-10T09:00:00Z /podcasts/formal-methods-ai-powered-future/en