© 2017

Hardware and Software: Verification and Testing

13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

  • Ofer Strichman
  • Rachel Tzoref-Brill
Conference proceedings HVC 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10629)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10629)

Table of contents

  1. Front Matter
    Pages I-XXII
  2. Full Papers

    1. Front Matter
      Pages 1-1
    2. Cuong Chau, Warren A. Hunt Jr., Marly Roncken, Ivan Sutherland
      Pages 3-18
    3. Johannes Kloos, Rupak Majumdar, Frank McCabe
      Pages 35-50
    4. Zhixing Xu, Aarti Gupta, Sharad Malik
      Pages 67-82
    5. Martin Sulzmann, Kai Stadtmüller
      Pages 83-98
    6. Dirk Beyer, Thomas Lemberger
      Pages 99-114
    7. Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson
      Pages 115-130
    8. Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
      Pages 131-146
    9. Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
      Pages 147-162
    10. Bernhard Beckert, Sarah Grebing, Mattias Ulbrich
      Pages 163-178
    11. Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere
      Pages 179-194
    12. Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina
      Pages 195-210
  3. Tool Papers

    1. Front Matter
      Pages 211-211
    2. Ariel Rosenfeld, Odaya Kardashov, Orel Zang
      Pages 213-216
    3. Mikhail Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov
      Pages 217-220
    4. George B. Sherwood
      Pages 221-224
    5. Bernhard Garn, Fabian Würfl, Dimitris E. Simos
      Pages 225-228

About these proceedings


This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.
The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.


Model checking Coverage metrics Equivalence checking Semi-formal verification Simulation and emulation Transaction-level verification Theorem proving and SAT solving Assertion checking Software testing and debugging Formal software verification

Editors and affiliations

  • Ofer Strichman
    • 1
  • Rachel Tzoref-Brill
    • 2
  1. 1.Technion - Israel Institute of TechnologyHaifaIsrael
  2. 2.IBM Research LabHaifaIsrael

Bibliographic information