Complementing the documentation here, there is a library of Jupyter notebooks (also available directly here) that show you how to use Batfish to analyze your network.
notebooks/linked/getting-started-with-batfish.ipynb notebooks/linked/pandas-examples.ipynb notebooks/linked/validating-configuration-settings.ipynb notebooks/linked/uncovering-configuration-and-behavior-drift.ipynb
notebooks/linked/analyzing-acls-and-firewall-rules.ipynb notebooks/linked/provably-safe-acl-and-firewall-changes.ipynb notebooks/linked/safely-refactoring-acls-and-firewall-rules.ipynb
notebooks/linked/introduction-to-route-analysis.ipynb notebooks/linked/introduction-to-bgp-analysis.ipynb notebooks/linked/analyzing-routing-policies.ipynb
notebooks/linked/introduction-to-forwarding-analysis.ipynb notebooks/linked/introduction-to-forwarding-change-validation.ipynb
notebooks/linked/analyzing-the-impact-of-failures-and-letting-loose-a-chaos-monkey.ipynb
notebooks/linked/analyzing-public-and-hybrid-cloud-networks.ipynb