Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... Papers (Lecture Notes in Computer Science)

These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27 30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic veri?cation, for both hardware and software systems. This year s conference extended the successes of the previous years, with a largejumpinthenumberofsubmitted papers. Wereceived49totalsubmissions, with many more high-quality papers than we had room to accept. Submissions came from 19 di?erent countries, re?ecting the growing international visibility of the conference. Of the 49 submissions, 43 were regular papers, 2 of which were later withdrawn, and 6 were tool papers. After a rigorous review process, in which each paper received at least four independent reviews from the dist- guished Program Committee, we accepted 12 regular papers and 4 tools papers for presentation at the conference and inclusion in this volume. These numbers give acceptance rates of 29% for regular papers and 67% for tool papers (34% combined) comparable to the elite, much older, conferences in the ?eld. A Best Paper Award, selected on the basis of the reviews and scores from the Program Committee, was presented to Edmund Clarke, Alexandre Donz e, and AxelLegayfortheirpaperentitled StatisticalModelCheckingofMixed-Analog Circuits with an Application to a Third-Order Delta-Sigma Modulator. The refereed program was complemented by an outstanding program of - vited talks, panels, and special sessions from prominent leaders in the ?eld.