1. Amani, S., et al.: Cogent: verifying high-assurance file system implementations. ACM SIGOPS Oper. Syst. Rev. 50(2), 175–188 (2016)
2. Anand, A., et al.: Certicoq: a verified compiler for coq. In: The Third International Workshop on Coq for Programming Languages (CoqPL) (2017)
3. Barras, B., et al.: The Coq proof assistant reference manual: Version 6.1. Ph.D. thesis, Inria (1997)
4. Bhargavan, K., et al.: Everest: towards a verified, drop-in replacement of https. In: LIPIcs-Leibniz International Proceedings in Informatics, vol. 71. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2017)
5. Chen, H., Ziegler, D., Chajed, T., Chlipala, A., Kaashoek, M.F., Zeldovich, N.: Using crash hoare logic for certifying the FSCQ file system. In: Proceedings of the 25th Symposium on Operating Systems Principles, pp. 18–37. ACM (2015)