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.