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 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Mechanised Hypersafety Proofs about Structured Data;Proceedings of the ACM on Programming Languages;2024-06-20

2. Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems;Proceedings of the 21st International Conference on Mining Software Repositories;2024-04-15

3. 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

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

5. Specifying and Verifying a Real-World Packet Error-Correction System;Lecture Notes in Computer Science;2024