References

1. ACL2 Community (Accessed May 1, 2020): ACL2+Books Documentation. Available at http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html.
2. Matt Kaufmann & Sol Swords (2017): Meta-extract: Using Existing Facts in Meta-reasoning. In: Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 2017, pp. 47–60, doi:10.4204/EPTCS.249.4.
3. Mertcan Temel, Anna Slobodova & Warren A. Hunt (2020): Automated and Scalable Verification of Integer Multipliers. In: Shuvendu K. Lahiri & Chao Wang: Computer Aided Verification. Springer International Publishing, Cham, pp. 485–507, doi:10.1007/978-3-030-53288-8_23.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org