Computer-Aided Reasoning: Acl2 Case Studies

Focusing on the practical applications of the ACL2 reasoning system, this collection features technical papers from twenty-one contributors that present a range of case studies, including sanitized industrial projects. Topics explored encompass floating-point arithmetic, microprocessor simulation, model checking, and proof checking, among others. The book highlights innovative methods for designing, building, and maintaining hardware and software systems, showcasing the versatility and effectiveness of computer-aided reasoning in various technical domains.