Computer-Aided Reasoning

Computer-Aided Reasoning

ACL2 Case Studies

Herausgegeben: Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother
Versandkostenfrei!
Versandfertig in 1-2 Wochen
153,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
77 °P sammeln!
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. Included here are technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects. The papers deal with a wide variety of ideas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and several others. Comput...