A suite of hard ACL2 theorems arising in refinement-based processor verification (2004)

by P Manolios, S Srinivasan
Venue:Fifth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2004), November 2004. See URL http://www.cs.utexas.edu/users/moore/acl2/workshop-2004