ACL2 Community
accessed January, 2017
ACL2+Books Documentation
http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html
Jared Davis
Anna Slobodova
Sol Swords
2014
Microcode Verification–Another Piece of the Microprocessor Verification Puzzle
International Conference on Interactive Theorem Proving
Springer
1–16
10.1007/978-3-319-08970-6_1
David S Hardin
Eric W Smith
William D Young
2006
A robust machine code proof framework for highly secure applications
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications
11–20
10.1145/1217975.1217978
Matt Kaufmann
Rob Sumners
2002
Efficient rewriting of operations on finite structures in ACL2
Proceedings of the 3rd International Workshop on the ACL2 Theorem Prover and its Applications
141–150
Sol Swords
2010
A Verified Framework for Symbolic Execution in the ACL2 Theorem Prover
Department of Computer Sciences, The University of Texas at Austin
http://hdl.handle.net/2152/ETD-UT-2010-12-2210
Sol Swords and Jared Davis
2011
Bit-Blasting ACL2 Theorems
Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 2011.
84–102
10.4204/EPTCS.70.7
Sol Swords
Jared Davis
2015
Fix Your Types
Matt Kaufmann
David L. Rager
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015
3–16
10.4204/EPTCS.192.2