Yufan Yang, Xinli Huang, Shang Cheng, Shiyun Chen, Peijin Cong. SHSA: A Method of Network Verification with Stateful Header Space Analysis. In 22nd IEEE International Conference on Parallel and Distributed Systems, ICPADS 2016, Wuhan, China, December 13-16, 2016. pages 232-238, IEEE, 2016. [doi]
Abstract is missing.