network-verification
There are 12 repositories under network-verification topic.
batfish/batfish
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.
aristanetworks/anta
What do you call an ant with frogs legs?
NetworkVerification/nv
A Framework for Modeling and Analyzing Network Configurations
nsg-ethz/Metha
A framework for automated testing of network analysis and verification tools.
SivaKesava1/SelfStarter
Tool using automatic template inference to find network misconfigurations
arista-netdevops-community/Arista_Cabling_Check
This software allows checking some parameters and create some MAPs.
martimy/Bat-Q
Bat-Q is an app that lets you run various network analysis queries using Batfish.
calincru/diploma-thesis
Bachelor thesis: Formal analysis of iptables configurations for network verification
nehavadnere/PolicyCheckingApp
This project dynamically detects the con-compliant security flow rules based on user Intents.
calincru/iptables-sefl
The iptables to SEFL (Symbolic Execution Friendly Language) compiler.
ksator/network-test-automation
This repository has a Python package and Python scripts to test Arista devices.
ksator/network-test-automation-demo
Arista network test automation demo