Antithesis on Mythryl: “On the Bug Bash podcast this week, Anjana Rajan and Jonathan Ring…”

On the Bug Bash podcast this week, Anjana Rajan and Jonathan Ring from Atalanta join us to talk about moving formal methods out of the lab and into nuclear reactors, space missions, and other real world settings where failure is not an option.

youtu.beStop Talking About Formal MethodsFor decades, formal methods were considered theoretical exercises locked in academic labs—too brittle, complicated, and expensive for most production software. But as vital systems and AI-driven…

24/9/26, 7:03 pm0 reposts3 likes

Post