References

  1. ACL2 Community (accessed January, 2017): ACL2+Books Documentation. Available at http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org