Skip to content

“If you want to understand more about formal verification…” — The Pragmatic Engineer at 0:48

The Pragmatic Engineer Formal methods with Hillel Wayne

“If you want to understand more about formal verification and get a sense of what this approach could go mainstream with AI, this episode is for you.”

0:00 1:23:42