Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
Ruben Gamboa, Panagiotis Manolios
TL;DR
This paper summarizes the 19th ACL2 Workshop, a key forum for presenting research and applications related to the ACL2 theorem prover, an industrial-strength automated reasoning system in the Boyer-Moore family.
Contribution
It provides an overview of recent research, applications, and developments presented at the ACL2 Workshop series, highlighting ACL2's significance in formal verification.
Findings
ACL2 remains a vital tool in industrial applications.
Research continues to advance automated reasoning techniques.
The workshop fosters collaboration among ACL2 users and developers.
Abstract
The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. The 2005 ACM Software System Award was awarded to Boyer, Kaufmann, and Moore for their work on ACL2 and the other theorem provers in the Boyer-Moore family.
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.