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
