> For the complete documentation index, see [llms.txt](https://sliu583.gitbook.io/blog/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://sliu583.gitbook.io/blog/networking/index/cs-268-adv-network/verification.md).

# Verification

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