Yep, Batfish: https://www.batfish.org/ https://www.batfish.org/ Two examples: https://batfish.readthedocs.io/en/latest/notebooks/linked/introduction-to-forward

Yep, Batfish: https://www.batfish.org/ https://www.batfish.org/ Two examples: https://batfish.readthedocs.io/en/latest/notebooks/linked/introduction-to-forwarding-change-validation.html https://batfish.readthedocs.io/en/latest/notebooks/linked/in... , https://batfish.readthedocs.io/en/latest/notebooks/linked/provably-safe-acl-and-firewall-changes.html https://batfish.readthedocs.io/en/latest/notebooks/linked/pr...