Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications
Rob Sumners (Intel Corporation), Cuong Chau (ARM, Inc.)
TL;DR
This collection of papers from ACL2 2022 showcases recent research, applications, and experiences related to the ACL2 theorem prover, highlighting its ongoing development and diverse use cases.
Contribution
The volume presents new research and practical applications of ACL2, advancing understanding and demonstrating its versatility in formal verification.
Findings
Enhanced techniques for theorem proving with ACL2
New applications demonstrating ACL2's utility in industry
Insights into future directions for ACL2 development
Abstract
This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022). 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.