Combining ACL2 and an automated verification tool to verify a multiplier (2006)

by E Reeber, J Sawada
Venue:In Sixth International Workshop on the ACL2 Theorem Prover and its Applications