Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

2014/06/04 by Matt Kaufmann, J Strother Moore · 3 citations
Computer Science · #Computer science #Formal Methods in Verification #Logic, programming, and type systems #Programming language #Software engineering #Web Application Security Vulnerabilities #cs.AI #cs.LO #cs.MS

paper · pdf · doi:10.4204/eptcs.152.1

published in Electronic Proceedings in Theoretical Computer Science 152, 1-7 (Open Publishing Association) · In Proceedings ACL2 2014, arXiv:1406.1238

openalex publication_date 2014/06/04 · arxiv created 2014/06/06 · arxiv updated 2014/06/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/05

Abstract

We report on improvements to ACL2 made since the 2013 ACL2 Workshop.

Citations

• Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications