Proceedings International Workshop on the ACL2 Theorem Prover and its Applications
Ruben Gamboa (University of Wyoming, USA), Jared Davis (Centaur, Technology, USA)
TL;DR
This paper compiles the proceedings of the 11th ACL2 Theorem Prover workshop, showcasing recent research, applications, and enhancements in automated reasoning using ACL2, a leading industrial-strength theorem proving system.
Contribution
It presents a collection of 11 peer-reviewed papers highlighting advancements, applications, and user experiences with the ACL2 theorem prover from the 2013 workshop.
Findings
Diverse applications of ACL2 demonstrated
Enhancements to the prover presented
User experiences and libraries discussed
Abstract
This volume contains the proceedings of the Eleventh International Workshop on the ACL2 Theorem Prover and its Applications, held on May 30 and 31, 2013, in Laramie, Wyoming, USA. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. The ACL2 workshop is the major technical forum for users of the ACL2 theorem proving system to present research on the prover and its applications. This year's workshop received 15 submissions covering a wide range of applications, libraries, prover enhancements, interfaces, and experience reports. 11 papers were selected by the program committee for presentation at the workshop.
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.