A Mere Formality is a podcast about formal verification, software engineering, and the growing challenge of knowing whether the systems we build actually do what we think they do.

Hosted by John Willis and Ray Myers, the show digs into the ideas, people, research, and real-world applications behind formal verification, connecting theory with the everyday realities of building and operating software.

You don't need to be a mathematician or formal methods expert to follow along. A Mere Formality is about asking a deceptively simple question: How do we know our software is actually correct?

John's LinkedIn:
https://www.linkedin.com/in/johnwillisatlanta/

Ray's LinkedIn:

https://www.linkedin.com/in/cadrlife/