About this episode

The episode discusses the accessibility of formal methods in software engineering through AI advancements and the importance of defining correct system behavior.

This is the Engineering Culture Podcast, from the people behind InfoQ.com and the QCon conferences. 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. Read a transcript of this interview: https://bit.ly/3QoST7L Newsletter: Subscribe to the Software Architects' Newsletter, a monthly roundup of the patterns and technologies senior practitioners are working through, with the news and lessons from people doing the work: https://www.infoq.com/software-architects-newsletter InfoQ Online Certification Programs: 5-week online cohorts for senior engineers and architects, built around QCon talks. Programs now cover software architecture, AI engineering, and organizational architecture. Each week you join a four-hour live session with a confidential peer group of practitioners from other companies, apply frameworks from QCon talks to the decisions you're making at work, and earn…

People in this episode

Host: Shane Hastie

Guest: Gabriela Moreira

Topics covered

• formal methods
• AI
• software engineering
• model-based testing
• system behavior
• Quint specification language

Mentioned in this episode

Organizations: InfoQ, QCon, Software Architects' Newsletter

Explore listener stats, chart rankings, contacts and more on the Engineering Culture by InfoQ podcast page.