Author:
Nelson Tim,Ferguson Andrew D.,Krishnamurthi Shriram
Publisher
Springer International Publishing
Reference39 articles.
1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)
2. Al-Shaer, E., Al-Haj, S.: FlowChecker: Configuration analysis and verification of federated OpenFlow infrastructures. In: Workshop on Assurable and Usable Security Configuration (2010)
3. Anderson, C.J., Foster, N., Guha, A., Jeannin, J.B., Kozen, D., Schlesinger, C., Walker, D.: NetKAT: Semantic foundations for networks. In: Principles of Programming Languages (POPL) (2014)
4. Ball, T., Bjørner, N., Gember, A., Itzhaky, S., Karbyshev, A., Sagiv, M., Schapira, M., Valadarsky, A.: VeriCon: Towards verifying controller programs in software-defined networks. In: Programming Language Design and Implementation (PLDI) (2014)
5. Bernays, P., Schönfinkel, M.: Zum entscheidungsproblem der mathematischen Logik. Mathematische Annalen 99, 342–372 (1928)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Comprehensive Study of Bugs in Software Defined Networks;2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2021-06
2. Falcon: Differential fault localization for SDN control plane;Computer Networks;2019-10
3. Fault Management in Software-Defined Networking: A Survey;IEEE Communications Surveys & Tutorials;2019
4. The Human in Formal Methods;Lecture Notes in Computer Science;2019
5. Verified iptables Firewall Analysis and Verification;Journal of Automated Reasoning;2018-01-03