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.
As in previous years, the post-conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS).
Sponsors
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
