GitHub topics: network-verification
ElNiak/awesome-formal-verification
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, researchers, and enthusiasts stay updated and advance their knowledge in the field.
Size: 24.4 KB - Last synced at: 15 minutes ago - Pushed at: 5 months ago - Stars: 33 - Forks: 2
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: Java - Size: 317 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1,246 - Forks: 240
aristanetworks/anta
What do you call an ant with frogs legs?
Language: Python - Size: 52 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 68 - Forks: 37
libxengine/XEngine_Authorize
c c++ network authorize service.c c++ 网络验证服务.c c++ 网络授权服务
Language: C++ - Size: 11.7 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 59 - Forks: 20
martimy/Bat-Q
Bat-Q is an app that lets you run various network analysis queries using Batfish.
Language: Python - Size: 781 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 1
calincru/iptables-sefl
The iptables to SEFL (Symbolic Execution Friendly Language) compiler.
Language: Scala - Size: 18.1 MB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 3
calincru/diploma-thesis
Bachelor thesis: Formal analysis of iptables configurations for network verification
Language: TeX - Size: 8.1 MB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0
nsg-ethz/Metha
A framework for automated testing of network analysis and verification tools.
Language: Python - Size: 236 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 2
NetworkVerification/nv
A Framework for Modeling and Analyzing Network Configurations
Language: OCaml - Size: 42.1 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 31 - Forks: 2
ksator/network-test-automation 📦
This repository has a Python package and Python scripts to test Arista devices.
Language: Python - Size: 1.7 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
arista-netdevops-community/Arista_Cabling_Check
This software allows checking some parameters and create some MAPs.
Language: JavaScript - Size: 965 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 3
ksator/network-test-automation-demo 📦
Arista network test automation demo
Language: Python - Size: 1.24 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
SivaKesava1/SelfStarter
Tool using automatic template inference to find network misconfigurations
Language: Python - Size: 102 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 10 - Forks: 1
nehavadnere/PolicyCheckingApp
This project dynamically detects the con-compliant security flow rules based on user Intents.
Language: Python - Size: 23.4 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
