Introduction to Batfish for Automated Network Testing & Verification, Interop 2020

Mikhail Yohman, Network to Code
Batfish is an open source network configuration analysis tool that helps detect errors by analyzing configuration files offline. This session will provide examples of how Batfish can be used by multiple IT domains within an organization to assert that the changes being deployed to the network do not cause an outage or open an organization up to a potential breach.
www.networktocode.com
www.interop.com

[@drooged]

Could you share the code used to validate using Batfish? thank you