Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
Grant Passmore (Imandra, Inc., Clare Hall, Cambridge), Ruben Gamboa, (University of Wyoming)
TL;DR
This collection of papers from ACL2-2020 showcases recent research, applications, and experiences related to the ACL2 theorem prover, highlighting advancements and practical uses in formal verification.
Contribution
It compiles diverse recent research and practical experiences, advancing understanding and application of the ACL2 theorem prover.
Findings
New techniques for formal verification using ACL2
Case studies demonstrating ACL2's application in industry
Innovations in theorem proving methodologies
Abstract
This volume contains a selection of papers presented at the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2020). The workshops are the premier technical forum for presenting research and experiences related to ACL2.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.