A SAT-based procedure for verifying finite state machines in ACL2 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Warren A. Hunt Jr., Erik Reeber. A SAT-based procedure for verifying finite state machines in ACL2. 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 127-135, ACM, 2006. [doi]

This author has not been identified. Look up 'Warren A. Hunt Jr.' in GoogleThis author has not been identified. Look up 'Erik Reeber' in Google

runs on WebDSL