Episode
How Network Verification Prevents Outages Before They Happen
- Published
- Jul 8, 2026
- Duration seconds
- 530
- Processing state
not_requested
Actions
POST https://stenobird.com/v1/public/podcasts/networking-tech-with-fexingo-internet-infrastructure-routing-and-network-engineering-7871928/episodes/how-network-verification-prevents-outages-before-they-happen/transcription-requests
Idempotently request low-priority transcript generation for this episode.GET https://stenobird.com/podcast/networking-tech-with-fexingo-internet-infrastructure-routing-and-network-engineering-7871928/how-network-verification-prevents-outages-before-they-happen.md
Read the agent-friendly Markdown representation of this episode resource.
Summary
Episode 99 of Networking Tech with Fexingo dives into network verification — the practice of mathematically proving that network configurations satisfy policy before deployment. Lucas and Luna explore how tools like formal verification and model checking catch subtle bugs that slip past human review, using a real outage case: a misconfigured ACL that brought down a major bank's trading floor for hours. They explain how Amazon, Microsoft, and Google use verification at scale, and contrast it with traditional testing. The episode also covers the rise of open-source tools like Batfish and the role of continuous verification in CI/CD pipelines. If you design, operate, or rely on networks, this episode offers a concrete look at a shift from reactive troubleshooting to proactive correctness. #NetworkVerification #FormalVerification #ConfigurationManagement #NetworkReliability #Batfish #ModelChecking #ACL #NetworkPolicy #CI/CD #Amazon #Microsoft #Google #Technology #NetworkEngineering #SRE #FexingoBusiness #BusinessPodcast #Infrastructure Keep every episode free: buymeacoffee.com/fexingo