network-verification

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.

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.

Arista Network Test Automation (ANTA) Framework

c c++ network authorize service.c c++ 网络验证服务.c c++ 网络授权服务

A Framework for Modeling and Analyzing Network Configurations

A framework for automated testing of network analysis and verification tools.

Tool using automatic template inference to find network misconfigurations

This software allows checking some parameters and create some MAPs.

An interactive Streamlit web application for network configuration analysis, verification, and differential testing using Batfish.

This project dynamically detects the con-compliant security flow rules based on user Intents.

A research architecture that gives networks versioned, content-addressed state: every change is verified against declared invariants before execution, with branching, fail-closed semantic merge, and causal history. Rust. Not a production controller.

Bachelor thesis: Formal analysis of iptables configurations for network verification

The iptables to SEFL (Symbolic Execution Friendly Language) compiler.

This repository has a Python package and Python scripts to test Arista devices.

Arista network test automation demo

Mirror to Orac repository

AI network-operations safety benchmark with live-verified Docker lab remediations and hard-mode abstention tasks

Forward Networks — independent third-party profile of a public API surface, by API Evangelist. Forward Networks builds network digital-twin software (Forward Enterprise) that creates a mathematically accurate, vendor-agnostic model of large hybrid and multi-cloud networks. Networking, security, cloud, and compliance teams use it to verify network b