Episode
How Network Verification Prevents Configuration Errors
- Published
- Jun 19, 2026
- Duration seconds
- 465
- 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-configuration-errors/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-configuration-errors.md
Read the agent-friendly Markdown representation of this episode resource.
Summary
Episode 61 of Networking Tech with Fexingo dives into network verification—why even a single misconfigured BGP prefix can take down a global bank for hours. Lucas and Luna walk through the 2024 outage at a major European bank caused by a missing route-target import statement, then explore how formal verification tools like Batfish and forward- and backward-annotation logic are catching errors before they hit production. They discuss the shift from post-outage postmortems to pre-deployment proof-checking, and why network engineers are borrowing verification techniques from software engineering. If you've ever wondered why your Zoom call froze or your trading platform stalled, this episode explains the invisible safety net—or lack thereof—behind modern networks. #NetworkVerification #ConfigurationErrors #BGP #Batfish #FormalVerification #NetworkReliability #OutagePrevention #RouteTarget #NetworkEngineering #Technology #FexingoBusiness #BusinessPodcast #NetworkAutomation #IntentBasedNetworking #InfrastructureAsCode #GoldbergAlgorithm #ForwardAnnotation #BackwardAnnotation Keep every episode free: buymeacoffee.com/fexingo