Coq’s vibrant ecosystem for verification engineering (invited talk)-Reference-Cited by-同舟云学术

Coq’s vibrant ecosystem for verification engineering (invited talk)

Published:2022-01-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
language:
Short-container-title:

Author:

Appel Andrew W.¹^ORCID

Affiliation:

1. Princeton University, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3497775.3503951

Reference48 articles.

1. Andrew W. Appel . 2011 . Verified Software Toolchain. In ESOP’11: European Symposium on Programming, Gilles Barthe (Ed.) (LNCS , Vol. 6602). Springer, 1– 17 . Andrew W. Appel. 2011. Verified Software Toolchain. In ESOP’11: European Symposium on Programming, Gilles Barthe (Ed.) (LNCS, Vol. 6602). Springer, 1–17.

2. Verification of a Cryptographic Primitive

3. Andrew W. Appel . 2016 . Modular Verification for Computer Security. In CSF 2016: 29th IEEE Computer Security Foundations Symposium. 1–8. Andrew W. Appel. 2016. Modular Verification for Computer Security. In CSF 2016: 29th IEEE Computer Security Foundations Symposium. 1–8.

4. Andrew W. Appel. 2107. Verified Functional Algorithms (Software Foundations Vol. 3). softwarefoundations.org. Andrew W. Appel. 2107. Verified Functional Algorithms (Software Foundations Vol. 3). softwarefoundations.org.

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

1. UTC Time, Formally Verified;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09

2. Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09

3. Towards Verified Rounding Error Analysis for Stationary Iterative Methods;2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness);2022-11