Skip to main content

Haifa verification conference 2007


This special section contains a selection of contributions originally presented at the Third Haifa Verification Conference (HVC’07). The scope of this conference covers all types of verification of both hardware and software systems. While there is widespread agreement on the importance of verification, it is clear that different systems require different approaches. Several distinct fields of research have developed, devoted to either software or hardware, or to a particular verification approach such as formal or testing/simulation. Each of these paradigms has an extensive publication history and its own dedicated conference. Yet there is much to be gained from sharing knowledge and experience. HVC’s goal is to serve as a venue for researchers from all fields of verification, enabling them to exchange ideas and learn from one another. It is our hope that by gathering these experts together in one conference, we are fostering the emergence of new trends that combine ideas and insights from different domains.


  1. 1

    Biere, A., Cimatti, A., Clarke, E.M., Zhu, Y.: Symbolic model checking without bdds. In: 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1999)

  2. 2

    Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI) (2005)

  3. 3

    Kuehlmann, A.: Dynamic transition relation simplification for bounded property checking. In: Digest of Technical Papers of the IEEE/ACM International Conference on Computer-Aided Design (2004)

  4. 4

    Kuehlmann, A., Krohm, F.: Equivalence checking using cuts and heaps. In: Design Automation Conference (1997)

  5. 5

    Marick B.: The craft of software testing: subsystem testing including object-based and object-oriented testing. Prentice-Hall, Inc., Upper Saddle River (1995)

    Google Scholar 

  6. 6

    Ur, S., Ziv, A.: Cross-fertilization between hardware verification and software testing. In: Software Engineering and Applications Conference (SEA’02) (2002)

  7. 7

    Yang, C.H., Dill, D.L.: Validation with guided search of the state space. In: Design Automation Conference (1998)

  8. 8

    Yorav, K. (ed.): Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23–25, 2007, Proceedings, volume 4899 of Lecture Notes in Computer Science. Springer, Berlin (2008)

Download references

Author information



Corresponding author

Correspondence to Karen Yorav.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Yorav, K. Haifa verification conference 2007. Int J Softw Tools Technol Transfer 11, 269 (2009).

Download citation