Formal Methods for Every Engineer in an AI-Powered Future
Formal methods Quint specification language Model Based testing Ai software development Software verification Formal specification Software testing Property Based testing Infoq podcast Engineering culture
This InfoQ podcast discusses how the Quint specification language and AI tools are democratizing formal methods for software engineers. Gabriela Moreira explains model-based testing approaches and how AI lowers barriers to entry for formal specification and verification. The interview targets engineers wanting to learn how to define and verify correct system behavior using formal methods in an AI-augmented development workflow.
Related videos
The AI Joy Gap: Why Some Developers Thrive While Others Struggle
Tiger Teams, Evals and Agents: The New AI Engineering Playbook
Governance in the Age of AI: A Conversation with Sarah Wells
Why a Single Command Took Down Azure: The Myth of "Human Error"
Catching complex bugs with GitHub Copilot medium depth code review
Navigate the agentic shift in software development with Google
How Meta Scaling AI-Native Engineering Tripled Code Coverage (And Cut Slop)
How I used Google's agentic stack to build a game
Craig McLuckie on Culture as a Team's Operating System in the AI Era
CNCF On-Demand: What Happens After AI Writes Code
From MCP and Vibe Coding to Harness Engineering: How Did AI Native Engineering Evolve in One Year
