Combining ACL2 and an automated verification tool to verify a multiplier - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Erik Reeber, Jun Sawada. Combining ACL2 and an automated verification tool to verify a multiplier. In Panagiotis Manolios, Matthew Wilding, editors, Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006. pages 63-70, ACM, 2006. [doi]

This author has not been identified. Look up 'Erik Reeber' in GoogleThis author has not been identified. Look up 'Jun Sawada' in Google

runs on WebDSL