“So this sounds like a more sort of formalized version of…” — Software Engineering Daily at 30:48
“So this sounds like a more sort of formalized version of that way. It's not just about the formalization of the spec, but also when the agent does something, be able to go back to the spec and actually check in a formal fashion, whether you're allowed to do that thing or not.”
0:00
50:29