Some Complexity Results for Stateful Network Verification-Reference-Cited by-同舟云学术

Some Complexity Results for Stateful Network Verification

Published:2016 Issue: Volume: Page:811-830
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Velner Yaron,Alpernas Kalev,Panda Aurojit,Rabinovich Alexander,Sagiv Mooly,Shenker Scott,Shoham Sharon

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-49674-9_51

Reference35 articles.

1. Lola 2.0 sources. http://download.gna.org/service-tech/lola/lola-2.0.tar.gz

2. Abdulla, P., Jonsson, B.: Verifying programs with unreliable channels. In: Logic in Computer Science (LICS), pp. 160–170. IEEE (1993)

3. Abdulla, P.A., Čerāns, K., Jonsson, B., Tsay, Y.-K.: General decidability theorems for infinite-state systems. In: Logic in Computer Science (LICS), pp. 313–321. IEEE (1996)

4. Anderson, C.J., Foster, N., Guha, A., Jeannin, J.-B., Kozen, D., Schlesinger, C., Walker, D.: NetKAT: Semantic foundations for networks. In: POPL (2014)

5. Aref, M., ten Cate, B., Green, T.J., Kimelfeld, B., Olteanu, D., Pasalic, E., Veldhuizen, T.L., Washburn, G.: Design and implementation of the logicblox system. In: ACM SIGMOD International Conference on Management of Data, pp. 1371–1382 (2015)

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Meissa;Proceedings of the ACM SIGCOMM 2022 Conference;2022-08-22

2. Verifying Network Properties in SRv6 based Service Function Chaining;Asian Internet Engineering Conference;2021-12-14

3. Automatically derived stateful network functions including non-field attributes;2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2021-10

4. Aquila;Proceedings of the 2021 ACM SIGCOMM 2021 Conference;2021-08-09

5. Resilient Capacity-Aware Routing;Tools and Algorithms for the Construction and Analysis of Systems;2021