4 results found Sort:

batfish
batfish batfish
238
1.2k
apache-2.0
54
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...
network configuration network-analysis network-security network-automation network-validation configuration-parser network-verification configuration-analysis
Created 2014-12-03
12,711 commits to master branch, last one 2 days ago
aristanetworks
anta aristanetworks
34
66
apache-2.0
10
What do you call an ant with frogs legs?
anta nrfu arista pytest automation network-test arista-networks network-testing test-automation arista-automation network-automation network-validation network-verification network-test-automation
Created 2022-02-07
918 commits to main branch, last one a day ago
libxengine
XEngine_Authorize libxengine
20
53
gpl-3.0
1
c c++ network authorize service.c c++ 网络验证服务.c c++ 网络授权服务
network authorize verification cdkey-verfication network-verification
Created 2021-08-06
676 commits to develop branch, last one 2 days ago
ElNiak
awesome-formal-verification ElNiak
2
25
cc0-1.0
2
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...
model tools awesome testing awesome-list verification formal-methods model-checking proof-assistant formal-languages awesome-resources formal-verification formal-specification network-verification hardware-verification
Created 2024-08-08
10 commits to main branch, last one 3 months ago