Hardware and Software, Verification and Testing
Subtitle: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised ... Papers (Lecture Notes in Computer Science)
Contributors: Eyal Bin (Editor); Avi Ziv (Editor); Shmuel Ur (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 22, 2007
Language: eng
Format: Paperback
Number of pages: 235
ISBN-13: 9783540708889
Subjects: Computing and Information Technology; Computers; Computers - Languages / Programming; Computer Books: Languages; Logic Design; Programming - Software Development; Programming Languages - General; Computers / Programming / Software Development; SAT solver; algorithmic debugging; algorithms; benchmarking; concurrent debugging; design; formal methods; Computer input-output equipment; Computer programs; Congresses; Software architecture; Verification