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

T2Covered by 1 source · first reported by Stack Overflow Blog at 16 Oct, 07:40 UTC

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…

dev

Sources

• T2AI says you’re right, formal methods say you’re wrongStack Overflow Blog16 Oct, 07:40