Jared Davis, Anna Slobodova & Sol Swords (2014):
Microcode Verification–Another Piece of the Microprocessor Verification Puzzle.
In: International Conference on Interactive Theorem Proving.
Springer,
pp. 1–16,
doi: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.
In: Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications,
pp. 11–20,
doi:10.1145/1217975.1217978.
Matt Kaufmann & Rob Sumners (2002):
Efficient rewriting of operations on finite structures in ACL2.
In: Proceedings of the 3rd International Workshop on the ACL2 Theorem Prover and its Applications,
pp. 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.
Available at http://hdl.handle.net/2152/ETD-UT-2010-12-2210.
Sol Swords and Jared Davis (2011):
Bit-Blasting ACL2 Theorems.
In: Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 2011.,
pp. 84–102,
doi:10.4204/EPTCS.70.7.
Sol Swords & Jared Davis (2015):
Fix Your Types.
In: Matt Kaufmann & David L. Rager: Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015,
pp. 3–16,
doi:10.4204/EPTCS.192.2.