Hardware and software, verification and testing
Subtitle: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers
By: Eyal Bin, Avi Ziv, Shmuel Ur (eds.).
Contributors: Bin, Eyal.; Ziv, Avi.; Ur, Shmuel.
Series: Lecture notes in computer science -- 4383
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 234
ISBN-13: 9783540708889
Subjects: Computer systems -- Verification -- Congresses; Computer software -- Verification -- Congresses; Computer programs -- Verification -- Congresses; Integrated circuits -- Verification -- Congresses
Genres: Congresses.
Other titles: HVC 2006
Notes: Includes bibliographical references and index.
Table of contents: title: Hardware verification track; title: Tools track; title: Software testing track.