Topic · network-verification
network-verification
Tracked open-source repos tagged network-verification, sorted by stars.
Repos
1
Total stars
1,461
Avg. stars
1,461
Share
0.00%
Related topics
Topics that frequently appear alongside network-verification on the same repo.
Recent risers
Repos created in the last 90 days, tagged network-verification.
No new repos tagged with this topic in the last 90 days.
- #1
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.
★ 1,462+6Star change over the last 7 days
