Detail

Publication date: 1 de June, 2021

IBM Research HVC 2007 – Haifa Verification Conference

Academic research in the verification of systems is generally divided into two paradigms – formal verification and dynamic verification (testing). Within each paradigm, different algorithms and techniques are used for hardware and software systems. Yet, at their core, all of these techniques aim to achieve the same goal of ensuring the correct functionality of a complicated system. HVC is the only conference that brings together researchers from all four fields, thereby encouraging the migration of methods and ideas between domains. To this end, we are announcing a special interest in hybrid methods for this year’s conference. We encourage the submission of works that exemplify the successful integration of ideas from different domains of expertise.

---