Hardware and Software: Verification and Testing

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

  • Roderick Bloem
  • Eli Arbel
Conference proceedings HVC 2016

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

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

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker, Giovanni De Micheli, Matthias Sauer
    Pages 1-17
  3. Vincent Bloemen, Jaco van de Pol
    Pages 18-33
  4. Eli Arbel, Erez Barak, Bodo Hoppe, Shlomit Koyfman, Udo Krautz, Shiri Moran
    Pages 34-48
  5. Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
    Pages 49-64
  6. David Landsberg, Hana Chockler, Daniel Kroening
    Pages 65-81
  7. Xiangyu Li, Marcelo d’Amorim, Alessandro Orso
    Pages 82-98
  8. Wei Jin, Alessandro Orso
    Pages 99-116
  9. Massimo Benerecetti, Daniele Dell’Erba, Fabio Mogavero
    Pages 117-133
  10. Laura Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
    Pages 134-151
  11. Egor George Karpenkov, David Monniaux
    Pages 169-185
  12. Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker
    Pages 186-201
  13. Lukáš Holík, Michal Kotoun, Petr Peringer, Veronika Šoková, Marek Trtík, Tomáš Vojnar
    Pages 202-209
  14. Back Matter
    Pages 211-211

About these proceedings


This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 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.


formal verification model checking program analysis software verification theorem proving abstract data types CFA code transformation fault localization hardware reliability hybrid models SAT solving shape analysis simulation and emulation software testing and debugging spectrum based fault localization test maintenance test repair test-suite evolution timed models

Editors and affiliations

  • Roderick Bloem
    • 1
  • Eli Arbel
    • 2
  1. 1.IAIKGraz University of TechnologyGrazAustria
  2. 2.IBM Research LabsHaifaIsrael

Bibliographic information

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment