Proceedings International Workshop on the ACL2 Theorem Prover and its Applications

2013/04/26 by Ruben Gamboa, Jared Davis · 10 citations
Computer Science · #cs.LO #cs.MS

paper · pdf · doi:10.4204/eptcs.114

published as EPTCS 114, 2013

arxiv created 2013/04/26 · arxiv updated 2013/04/29

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.

Cited by

• Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1
• Proof Pad: A New Development Environment for ACL2
• A Step-Indexing Approach to Partial Functions
• Abstract Stobjs and Their Application to ISA Modeling
• Verification of Building Blocks for Asynchronous Circuits
• An Interpreter for Quantum Circuits
• Verified AIG Algorithms in ACL2
• A formalisation of XMAS
• ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2
• A Macro for Reusing Abstract Functions and Theorems

Related

• Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
• Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications
• Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications
• Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications
• Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications