Hardware and Software, Verification and Testing
Subtitle: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
Contributors: Shmuel Ur (Editor); Eyal Bin (Editor); Yaron Wolfsthal (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 11, 2006
Language: eng
Format: Paperback
Number of pages: 265
ISBN-13: 9783540326045
Subjects: Computing and Information Technology; Programming - Software Development; Computers; Computers - Languages / Programming; Computer Books: Languages; Programming Languages - General; Logic Design; Computers / Programming / Software Development; SAT solver; algorithmic debugging; benchmarking; formal verification; hardware verification; model checking; model-based testing; program analysis; runtime validation; software testing; systems analysis; systems verification