Search Results: ''

Search

×
×
×
×
1 results for ""
Proceedings of the 11th International Workshop on the ACL2 Theorem Prover and its Applications By Ruben Gamboa, Jared Davis
Paperback: $11.30
Ships in 3-5 business days
ACL2 2013 is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 2013 is the eleventh in the... More > series of ACL2 workshops, which occur approximately every 18 months. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. The 2005 ACM Software System Award was awarded to Boyer, Kaufmann, and Moore for their work in ACL2 and the other theorem provers in the Boyer-Moore family.< Less