Takeru Inoue, Richard Chen, Toru Mano, Kimihiro Mizutani, Hisashi Nagata, Osamu Akashi. An efficient framework for data-plane verification with geometric windowing queries. In 24th IEEE International Conference on Network Protocols, ICNP 2016, Singapore, November 8-11, 2016. pages 1-10, IEEE Computer Society, 2016. [doi]
Abstract is missing.