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
- 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.