Skip to content

“And how can we figure out what the bug is? Will the system…” — The Pragmatic Engineer at 31:55

The Pragmatic Engineer Formal methods with Hillel Wayne

“And how can we figure out what the bug is? Will the system help tell us or we now need to think through of what case we missed?”

0:00 1:23:42