Batfish is a network configuration analysis tool developed jointly by researchers at Intentionet, Inc.; University of California, Los Angeles; University of Southern California; and Microsoft Research. Though its individual modules have various applications, its primary purpose is to detect bugs in network configurations. The Batfish pipeline consists of 4 stages: 1. Control plane generator: parses vendor configuration files into a unified format 2. Data plane generator: computes the data plane corresponding to the input configurations 3. Safety Analyzer: checks specified safety properties and returns counterexamples if they exist 4. Provenance Tracker: provides helpful information about the nature and source of discovered counterexamples For more details, please check out the Publications and Talks pages.
| Website | http://www.batfish.org |
| Employees | View employees |
| Address | 18139 S 129th W. Ave, Sapulpa, Oklahoma 74066, US |
| Industry | Information Collection & Delivery, Media & Internet |
| Competitors | Cisco, Arista Networks, Palo Alto Networks, Juniper Networks, VMware Tanzu Labs, F5 GOVERNMENT SOLUTIONS LLC, Fortinet, MikroTik, Extreme Networks, SolarWinds +35 more (view full list) |
| SIC | SIC Code 737 Companies, SIC Code 82 Companies, SIC Code 73 Companies, SIC Code 822 Companies, SIC Code 7375 Companies |
| NAICS | NAICS Code 61 Companies, NAICS Code 517110 Companies, NAICS Code 51711 Companies, NAICS Code 611 Companies, NAICS Code 5171 Companies, NAICS Code 51 Companies, NAICS Code 517 Companies |
Looking for a particular batfish.org employee's phone or email?
batfish.org Questions
batfish.org is based in Sapulpa, Oklahoma.
The NAICS codes for batfish.org are [61, 517110, 51711, 611, 5171, 51, 517].
The SIC codes for batfish.org are [737, 82, 73, 822, 7375].
