Computer-Aided Reasoning : ACL2 Case Studies /

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-c...

Full description

Bibliographic Details

Main Author:	Kaufmann, Matt
Corporate Author:	SpringerLink (Online service)
Other Authors:	Manolios, Panagiotis, Moore, J. Strother
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2000.
Series:	Advances in formal methods ; 4.
Subjects:	Computer science. Software engineering. Electronic data processing. Electronic books.
Online Access:	Connect to the full text of this electronic book