Checking Cloud Contracts in Microsoft Azure-Reference-Cited by-同舟云学术

Checking Cloud Contracts in Microsoft Azure

Published:2015 Issue: Volume: Page:21-32
ISSN:0302-9743
Container-title:Distributed Computing and Internet Technology
language:
Short-container-title:

Author:

Bjørner Nikolaj,Jayaraman Karthick

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-14977-6_2

Reference18 articles.

1. 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: O’Boyle, M.F.P., Pingali, K. (eds.) PLDI, p. 31. ACM (2014)

2. Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability Modulo Theories. In: Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185, pp. 825–885. IOS Press (2009)

3. Bjørner, N., Jayaraman, K.: Network Verification: Calculus and Solvers. In: SDN and FSI: The Next Generation Networking Infrastructure (2014)

4. Lecture Notes in Computer Science;A.D. Brucker,2013

5. de Moura, L., Bjørner, N.: Satisfiability Modulo Theories: Introduction & Applications. Comm. ACM (2011)

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

1. A Survey on Forensics and Compliance Auditing for Critical Infrastructure Protection;IEEE Access;2024

2. A forensics and compliance auditing framework for critical infrastructure protection;International Journal of Critical Infrastructure Protection;2023-09

3. Hydra: Effective Runtime Network Verification;Proceedings of the ACM SIGCOMM 2023 Conference;2023-09

4. SwitchV;Proceedings of the ACM SIGCOMM 2022 Conference;2022-08-22

5. Network Services Anomalies in NFV: Survey, Taxonomy, and Verification Methods;IEEE Transactions on Network and Service Management;2022-06