Combining ACL2 and an Automated Verification Tool to Verify a Multiplier (2006)

by Erik Reeber
Venue:Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2006
Citations:4 - 1 self