Shows how to get started and provides an overview of the capabilities of Batfish.
Shows how to validate different types of configuration settings (NTP server, TACACS server, AAA, SNMP, etc...) using Batfish.
Shows how to analyze ACLs and firewalls rules using Batfish.
Shows a workflow to ensure changes to ACLs and firewall rules are correct and safe.
Shows how forwarding paths can be analyzed using traceroute and reachability queries.
Shows a workflow to ensure that changes to the network do not impact packet forwarding.
Shows how to analyze the impact of failures on the network and conduct Chaos Monkey style testing.
Shows how to analyze routing tables computed by Batfish.