Agentic DevOps at AWS
Jul 16, 2026 - 49:25
Radio and PodcastLive Radio & PodcastsTechnology
Formal Methods as Agent Guardrails
Formal methods are a branch of mathematics and computer science focused on proving the correctness of systems, and they have long promised a more rigorous foundation for software. However, their complexity has kept them...
About This Episode
Formal Methods as Agent Guardrails is an episode from Software Engineering Daily by Software Engineering Daily. Formal methods are a branch of mathematics and computer science focused on proving the correctness of systems, and they have lon...
Podcast
This episode belongs to Software Engineering Daily.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published May 19, 2026, 48:32 long, audio available.
Related Episodes
Continue listening to more episodes from Software Engineering Daily.
AURA and Open-Source Agents for Production Operations
Jul 14, 2026 - 53:04
Eric Ries on Why Good Companies Go Bad
Jul 9, 2026 - 52:26
SED News: Restricted Models, IDE Wars, and the DeepMind Mafia
Jul 7, 2026 - 54:06
Grafana’s Approach to AI-Native Observability
Jul 2, 2026 - 50:34
Building Software That People Love
Jun 30, 2026 - 48:09
Mina the Hollower
Jun 25, 2026 - 45:50
Foundation Models for Structured Data
Jun 23, 2026 - 44:00