Publisher
Springer Nature Switzerland
Reference32 articles.
1. Abhashkumar, A., Gember-Jacobson, A., Akella, A.: Tiramisu: fast multilayer network verification. In: 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20), Santa Clara, CA, pp. 201–219. USENIX Association (2020)
2. Alberdingk Thijm, T., Beckett, R., Gupta, A., Walker, D.: Modular control plane verification via temporal invariants. Proc. ACM Program. Lang. 7(PLDI) (2023). https://doi.org/10.1145/3591222
3. Appel, A.W.: Verification of a cryptographic primitive: SHA-256. ACM Trans. Program. Lang. Syst. 37(2) (2015). https://doi.org/10.1145/2701415
4. Appel, A.W.: Coq’s vibrant ecosystem for verification engineering (invited talk). In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs. CPP 2022, New York, NY, USA, pp. 2–11. Association for Computing Machinery (2022). https://doi.org/10.1145/3497775.3503951
5. Appel, A.W., et al.: Program Logics for Certified Compilers. Cambridge University Press, Cambridge (2014)