Skip to content

“And we have offer, Carol, right? So those both happen. And…” — The Pragmatic Engineer at 34:27

The Pragmatic Engineer Formal methods with Hillel Wayne

“And we have offer, Carol, right? So those both happen. And those are both distinct states. So the model checker says, OK, I'm going to create two new states.”

0:00 1:23:42