HVC 2012, hosted by IBM Research – Haifa, is the eighth 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.

This year, HVC will extend the traditional focus on hardware and software verification to include verification, validation, and testing (VVT) of complex hybrid systems as a part of the systems-engineering paradigm.

The Alan Turing Year

As in previous years, the post-conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS).


Co-located events

  • Intel's DTS Symposium
    Open to all, free registration
    November 5, 2012
    Technion - Israel Institute of Technology
  • Meeting of the COST Action IC0901 Rich-Model Toolkit
    November 4, 2012
    IBM Research - Haifa

HVC 2012 Poster

HVC 2012 Poster

See us on Linked In See us on Facebook IBM Research Cadence Mentor Graphics JASPER Marvell