anubhavnidhi / batfishLinks
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
☆17Updated 3 years ago
Alternatives and similar repositories for batfish
Users that are interested in batfish are comparing it to the libraries listed below
Sorting:
- Mining Network Specifications from Network Configurations☆34Updated 5 years ago
- Tool using automatic template inference to find network misconfigurations☆13Updated 5 years ago
- A framework for automated testing of network analysis and verification tools.☆17Updated 4 years ago
- Data repository of NAssim☆29Updated 3 years ago
- Practical Network-Wide Configuration Synthesis with Autocompletion☆41Updated 3 months ago
- [NSDI'22] Differential Network Analysis☆13Updated 3 years ago
- SyNET Network-wide Configuration Synthesis☆28Updated 8 years ago
- Aggregate-Based Congestion Control for Pulse-Wave DDoS Defense☆53Updated 3 years ago
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆35Updated 4 years ago
- Extension to Mininet that makes P4 networks easier to build☆207Updated last year
- Do Switches Dream of Machine Learning?, HotNets 2019☆68Updated 6 years ago
- An implementation of In-Band Network Telemetry in P4☆19Updated 4 years ago
- Prototyping networks with P4☆22Updated 6 years ago
- P4 codes for research projects☆218Updated last year
- A quick way to learn p4 language.☆26Updated 3 years ago
- An Efficient Design of Intelligent Network Data Plane☆54Updated 2 years ago
- In-band Telemetry (INT) implementation for bmv2 and TOFINO platforms.☆43Updated 3 years ago
- DINC is a framework that efficiently plans and implements P4-based service partitions on multiple network devices.☆30Updated last year
- Simple client-server application for generating user-defined traffic patterns.☆56Updated 10 years ago
- ☆42Updated 2 years ago
- ☆28Updated 5 years ago
- ☆32Updated 4 years ago
- DEPRECATED - Please check the more recent NG-SDN tutorial (advanced branch): https://github.com/opennetworkinglab/ngsdn-tutorial/tree/adv…☆54Updated 5 years ago
- ☆118Updated 3 years ago
- An interactive Python shell for P4Runtime☆90Updated 3 weeks ago
- ☆36Updated 5 years ago
- This repository contains the source code for P4TG, a 1 Tb/s traffic generator for Ethernet/IP networks☆54Updated this week
- IntSight: Diagnosing SLO Violations with In-Band Network Telemetry☆14Updated 3 years ago
- Hands-on tutorial to learn the building blocks of the Next-Gen SDN architecture☆348Updated 3 years ago
- In-Network Nmap (Scanner)☆34Updated 3 years ago