Computer-Aided Reasoning / Acl2 Case Studies (Pt. 2)
An Approach
Editor: MattKaufmann
Kluwer Academic Publishers Group (Netherlands), 2000
Hardback, 360 pages
Size: 235x155 mm
ISBN: 9780792378495
ISBN-10: 0792378490
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 systems. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects.

