AI says you’re right, formal methods say you’re wrong

Ryan is joined by Gabriela Moreira, CEO at Quint, about why formal specification languages like TLA+ are essential for catching system design flaws before writing code, how Quint brings developer-friendly syntax and executability to formal methods, and the ways trace validation and model-based testing can verify AI-generated code against real-world production data.
Episode notes:
Quint (quint.sh) is an open-source, executable specification language and toolchain based on TLA+ that enables engineers to model, simulate, and verify system behaviors using an intuitive, programmer-friendly syntax.
Connect with Gabriela onLinkedIn (linkedin.com/in/bugarela) andX (x.com/bugarela).
Congrats to Populist badge winnerstackoverflow.com/users/266561/alex-kAlex K. (stackoverflow.com/users/246342/alex-k) for winning the badge on their answer toSQL Server: Select Top 0? (stackoverflow.com/questions/6033957/sql-server…).
See Privacy Policy at art19.com/privacy and California Privacy Notice at art19.com/privacy#do-not-sell-my-info.