Skip to main content

HVC 2009
Haifa Verification Conference 2009

October 19-22, 2009
Organized by IBM R&D Labs in Israel

image: IBM and Haifa

Keynote and Invited Speakers

David Harel, Weizmann Institute of Science
Can We Verify an Elephant?

Mark Harman, CREST centre at King's College London
The SBSE Approach to Automated Optimization of Verification and Testing

Harry Foster, Mentor Graphics
Pain, Possibilities, and Prescriptions
Industry Trends in Advanced Functional Verification


Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science