HVC 2014 is the tenth in the series of annual conferences dedicated to advancing the state-of the art and state-of-the-practice in verification and testing.

The conference provides a forum for researchers and practitioners from academia and industry to share their work, exchange ideas, and discuss the future directions of testing and verification for hardware, software, and complex hybrid systems.

The common underlying goal of these techniques is to ensure the correct functionality and performance of complex systems. HVC is the only conference that brings together researchers and practitioners from all verification and testing sub-fields, thereby encouraging the migration of methods and ideas among domains.

Important Dates

Paper submission deadline: 29 Jul 2014
3 Aug 2014 - 11.59 pm GMT
Poster submission deadline: 15 Aug 2014
Author acceptance notification: 10 Sep 2014
Final manuscripts due: 21 Sep 2014
Tutorials: 17 Nov 2014
Conference: 18-20 Nov 2014

The conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS).

Pnueli Memorial Session


SanDisk is a trademark of SanDisk Corporation, registered in the United States and other countries.

play video

Keynote Speakers

  • Prof. Moshe Vardi, Rice University
  • Wolfgang Roesner, Fellow, IBM
  • Prof. Martin Vechev, ETH Zürich
  • Harry Foster, Chief Verification Scientist, Mentor Graphics
  • Ziv Binyamini, Corporate VP & CTO, System and Software Solutions, Cadence

Previous Conferences

See us on Linked In See us on Facebook IBM Research TCE Cadence Mellanox Mentor Graphics Qualcomm Qualcomm