Computer Aided Verification
Subtitle: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: Kousha Etessami (Editor); Sriram K. Rajamani (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 22, 2005
Language: eng
Format: Paperback
Number of pages: 564
ISBN-13: 9783540272311
Subjects: Computing and Information Technology; Programming - Software Development; Computers - General Information; Computers; Computer Books: General; Logic; Logic Design; Computers / Logic Design; automated deduction; computational logic; computer aided verification; formal methods; formal program analysis; formal verification; Computer software; Congresses; Electronic digital computers; Evaluation; Integrated circuits; Verification
First sentence: The microprocessor presents one of the most challenging design problems known to modern engineering.