1. Flash
2. Peng Zhang , Xu Liu , Hongkun Yang , Ning Kang , Zhengchang Gu , and Hao Li. AP Keep : Realtime network verification for real networks . In Proceedings of the 17th Usenix Conference on Networked Systems Design and Implementation, NSDI'20 , pages 241 -- 256 , USA, 2020 . USENIX Association. ISBN 978-1-939133-13-7. Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, and Hao Li. APKeep: Realtime network verification for real networks. In Proceedings of the 17th Usenix Conference on Networked Systems Design and Implementation, NSDI'20, pages 241--256, USA, 2020. USENIX Association. ISBN 978-1-939133-13-7.
3. Alex Horn , Ali Kheradmand , and Mukul R. Prasad . Delta-net: Real-time network verification using atoms . In Proceedings of the 14th USENIX Conference on Networked Systems Design and Implementation, NSDI'17 , pages 735 -- 749 , USA, 2017 . USENIX Association. ISBN 978-1-93 1971- 37 - 39 . Alex Horn, Ali Kheradmand, and Mukul R. Prasad. Delta-net: Real-time network verification using atoms. In Proceedings of the 14th USENIX Conference on Networked Systems Design and Implementation, NSDI'17, pages 735--749, USA, 2017. USENIX Association. ISBN 978-1-931971-37-9.
4. Real-Time Verification of Network Properties Using Atomic Predicates
5. Peyman Kazemian , George Varghese , and Nick McKeown. Header Space Analysis: Static Checking For Networks. In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation, NSDI'12 , USA, 2012 . Peyman Kazemian, George Varghese, and Nick McKeown. Header Space Analysis: Static Checking For Networks. In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation, NSDI'12, USA, 2012.