Limit search to available items
Book Cover
Author International Haifa Verification Conference (1st : 2005 : Haifa, Israel)

Title Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)
Published Berlin ; New York : Springer, 2006
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (x, 264 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 3875
Lecture notes in computer science ; 3875. 0302-9743
Summary The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery
Bibliography Includes bibliographical references and index
Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
Print version record
Subject Computer programs -- Verification -- Congresses.
Software architecture -- Congresses.
Computer input-output equipment -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Ur, Shmuel.
Bin, Eyal.
Wolfsthal, Yaron.
LC no. 2006921186
ISBN 9783540326052
Other Titles First International Haifa Verification Conference
International Haifa Verification Conference