Skip to content

“Those are all based on these tools that actually…” — Software Engineering Daily at 22:25

Software Engineering Daily Formal Methods as Agent Guardrails

“Those are all based on these tools that actually combinatorial reasoning. So they actually are decidable, they're not undecidable.”

0:00 50:29