network-validation

There are 11 repositories under network-validation 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.
Language:Java1.2k 56 870233
netenglabs/suzieq
Using network observability to operate and design healthier networks
Language:Python798 34 527107
aristanetworks/anta
What do you call an ant with frogs legs?
Language:Python53 11 28128
NetworkVerification/nv
A Framework for Modeling and Analyzing Network Configurations
Language:OCaml31 8 632
arista-netdevops-community/Arista_Cabling_Check
This software allows checking some parameters and create some MAPs.
Language:JavaScript9 3 03
intentionet/test-pyramid
Code backing the Networking Test Pyramid
Language:Python6 4 01
martimy/firewall_policy_analyzer
Analyzes generic firewall rules and detects conflicts and anomalies.
Language:Python6 1 04
dmulyalin/NORFAB
Network Automations Fabric
Language:HTML5 2 10
PyMarcus/tasks
A Kotlin application that uses MVVM architecture, network connection checking, cache, recyclerview and retrofit!
Language:Kotlin2 1 00
ksator/network-test-automation
This repository has a Python package and Python scripts to test Arista devices.
Language:Python1 1 0
ksator/network-test-automation-demo
Arista network test automation demo
Language:Python2 0