Search Results: 'ACL2'

Search

×
×
×
×
5 results for "ACL2"
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications By Panagiotis Manolios, Matthew Wilding
Paperback: $11.70
Ships in 3-5 business days.
These are the Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications. The ACL2 workshops provide the major technical forum for researchers to present and... More > discuss improvements and extensions to the theorem prover, comparisons of ACL2 with other systems, and applications of ACL2 in industry, government, and academia.< Less
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications By Panagiotis Manolios, Matthew Wilding
eBook (PDF): $2.50
Download immediately.
These are the Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications. The ACL2 workshops provide the major technical forum for researchers to present and... More > discuss improvements and extensions to the theorem prover, comparisons of ACL2 with other systems, and applications of ACL2 in industry, government, and academia.< Less
Computer-Aided Reasoning: ACL2 Case Studies By Matt Kaufmann, Panagiotis Manolios, J Moore
Paperback: $22.39
Ships in 3-5 business days.
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software... More > systems. Included here are technical papers written by twenty-one contributors that report on self-contained and fully reproducible case studies, some of which are sanitized industrial projects. The papers deal with a wide variety of areas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and several others. The case studies also contain exercises whose solutions are on the Web. In addition, the complete proof scripts necessary to formalize the models and prove all the properties discussed are on the Web.< Less
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
Computer-Aided Reasoning: An Approach By Matt Kaufmann, Panagiotis Manolios, J Moore
Paperback: $22.12
Ships in 3-5 business days.
Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and undergraduate courses on software engineering or formal methods. It is... More > also suitable in conjunction with other books in courses on hardware design, discrete mathematics, and theory. It is also appropriate as a reference for business and industry. In this book we present: * A practical functional programming language closely related to Common Lisp; * A formal logic in which defined functions correspond to axioms; * The computer-aided reasoning system ACL2, which includes mechanical support for the proof process. ACL2 is part of the Boyer-Moore family of theorem provers, for which its authors have received the 2005 ACM Software System Award. ACL2 has been successfully applied to projects of commercial interest, including hardware and software verification. Approximately 140 exercises are distributed throughout the book.< Less