“Yeah, exactly. Is there any challenges around from an…” — Software Engineering Daily at 13:28
“Yeah, exactly. Is there any challenges around from an engineering perspective where when you're thinking about like formal verification, you're doing that sort of in the lab, that doesn't necessarily need to be as fast as it might need to be when you're actually delivering this type of stuff in production.”
0:00
50:29