Batfish finds errors and guarantees the correctness of planned or current network configurations. It enables safe and rapid network evolution, without the fear of outages or security breaches.

Batfish builds vendor independent models from vendor configs. The models cover configuration settings as well as network behaviors such as packet forwarding and translation.

To get started with Minesweeper, simply install the Batfish analysis framework. This requires installtions of Java 8 and Maven. Then run the command shown on the right to build Batfish.

Aug 5, 2020 · In this post, we’ll outline a practical network CI/CD pipeline similar to the ones we’ve helped build for our customers and other Batfish users. A demo of this pipeline is on YouTube …

May 18, 2021 · Change Reviews in Batfish Enterprise enable you to fully automate change testing, attack the long poles in your change workflows, and make network changes more …

Aug 21, 2018 · With Batfish, you get comprehensive correctness guarantees for network configuration even in heterogeneous, multi-vendor environments. Batfish simulates the …

Jun 14, 2019 · We are excited to announce Ansible modules for Batfish. Now, network engineers can invoke the power of Batfish within Ansible-based automation workflows. Network …

Apr 1, 2019 · Batfish AI-ML, or Automatic Intent Mind Link, is the industry’s first and only automatic intent extraction solution. It works seamlessly across all networks, be they data …

Jan 16, 2019 · When historically tasked with configuring and managing a computer network, engineers have been forced to do almost everything manually: generate device configurations …

May 26, 2021 · A combination of Batfish and Suzieq enables deployment pre-testing. Suzieq will fetch the latest network configs and state. You can feed those new configs to Batfish along …