Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications
Shilpi Goel (Centaur Technology, Inc.), Matt Kaufmann (The University, of Texas at Austin)
TL;DR
This paper compiles the proceedings of the 15th ACL2 Theorem Prover workshop, highlighting recent advancements, applications, and research discussions in formal verification using ACL2.
Contribution
It presents a collection of recent research papers and extended abstracts showcasing new developments and applications of the ACL2 theorem prover.
Findings
Diverse applications of ACL2 demonstrated
Advancements in theorem proving techniques
New tools and methodologies introduced
Abstract
This volume contains the proceedings of the Fifteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2018), a two-day workshop held in Austin, Texas, USA, on November 5-6, 2018, immediately after FMCAD'18. The proceedings of ACL2-2018 include eleven long papers and two extended abstracts.
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.