About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
HVC 2017 is the 13th 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
(11.59 pm GMT) (11.59 pm GMT) |
|
The conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS).
You can download the proceedings through here (the password will be supplied at the conference).
Sponsors
Keynote Speakers
- Prof. Eli Ben-Sasson, Technion
- Prof. Dino Distefano, Queen Mary, University of London
- Prof. Subhasish Mitra, Stanford University
- Kedar Namjoshi, Bell Labs, Nokia
Links
- Photos from HVC 2016
- Previous Conferences
- Follow us on Facebook
- This year's HVC (2018) event is being reborn as the new ViPS. For info, visit the website
