# Verification

- [A General Approach to Network Configuration Verification](/blog/networking/index/cs-268-adv-network/verification/a-general-approach-to-network-configuration-verification.md)
- [Header Space Analysis: Static Checking for Networks](/blog/networking/index/cs-268-adv-network/verification/header-space-analysis-static-checking-for-networks.md): NSDI 2012