Skip to main content
    Israel [change]    Terms of use
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

Haifa Verification Conference 2007

IBM Haifa Labs

HVC Award

October 23 - 25, 2007
Organized by IBM Haifa Research Lab

The 2007 Haifa Verification Conference will present an award for the most promising contribution(s) to verification published in the last year. The award will be given in recognition for developments that significantly advance the state-of-the-art in verification technology and show potential for future impact on different verification paradigms.

The winners of the HVC award are invited to present their work in a special research session at HVC'07.

The HVC award is chosen by a special committee:
  • Chair: Roderick Bloem
  • Members:
    • Armin Biere
    • Ken McMillan
    • Amos Noy
    • Mauro Pezze
    • David Rosenblum
    • Gil Shurek

The winners of the 2007 HVC Award are Corina Pasareanu and Willem Visser for their work on combining static and dynamic analysis.


    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research