1. AED
2. Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. Tiramisu: Fast multilayer network verification. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20), pages 201--219, 2020.
3. Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, and David Walker. Modular control plane verification via temporal invariants. Proceedings of the ACM on Programming Languages, 7(PLDI):50--75, 2023.
4. A General Approach to Network Configuration Verification
5. Don't Mind the Gap