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 evo...
What do you call an ant with frogs legs?
c c++ network authorize service.c c++ 网络验证服务.c c++ 网络授权服务
A Framework for Modeling and Analyzing Network Configurations
#Awesome#Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researc...
A framework for automated testing of network analysis and verification tools.
Tool using automatic template inference to find network misconfigurations
This software allows checking some parameters and create some MAPs.
Bat-Q is an app that lets you run various network analysis queries using Batfish.
This project dynamically detects the con-compliant security flow rules based on user Intents.
Bachelor thesis: Formal analysis of iptables configurations for network verification
This repository has a Python package and Python scripts to test Arista devices.
The iptables to SEFL (Symbolic Execution Friendly Language) compiler.
Arista network test automation demo