Haifa Verification Conference - HVC 2.31

HVC is an annual conference dedicated to advancing the state-of the art and state-of-the-practice in verification and testing.

At the conference, researchers and practitioners from academia and industry network, share ideas, and ponder the future directions of testing and verification for hardware, software, and complex hybrid systems.

The common goal of the conference topics and participants is to ensure the correct functionality and performance of complex systems.

HVC is the only conference that brings together experts from all verification and testing sub-fields, thereby encouraging the migration of methods and ideas among domains.