Hardware and Software: Verification and Testing

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

  • Valeria Bertacco
  • Axel Legay
Conference proceedings HVC 2013

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

Table of contents

  1. Front Matter
  2. Session 1: SAT and SMT-Based Verification

    1. Michael Codish, Yoav Fekete, Amit Metodi
      Pages 1-14
    2. Tim Lange, Martin R. Neuhäußer, Thomas Noll
      Pages 44-60
  3. Session 2: Software Testing I

  4. Session 3: Software Testing II

    1. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
      Pages 95-111
    2. Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe et al.
      Pages 112-128
    3. Emmanuel Sifakis, Laurent Mounier
      Pages 129-144
    4. Tao Su, John Lyle, Andrea Atzeni, Shamal Faily, Habib Virji, Christos Ntanos et al.
      Pages 145-150
  5. Session 4: Supporting Dynamic Verification

    1. Tali Rabetti, Ronny Morad, Alex Goryachev, Wisam Kadry, Richard D. Peterson
      Pages 151-165
    2. Wisam Kadry, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa, Amir Nahir, Vitali Sokhin
      Pages 166-181
    3. Andreas Abel, Allon Adir, Torsten Blochwitz, Lev Greenberg, Tamer Salman
      Pages 182-198
    4. Anand Yeolekar, Divyesh Unadkat
      Pages 199-213
  6. Session 5: Specification and Coverage

    1. Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
      Pages 214-229
    2. Shoham Ben-David, Hana Chockler, Orna Kupferman
      Pages 230-245
  7. Keynote Presentation

  8. Session 6: Abstraction

    1. Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein
      Pages 262-278
    2. Marco Bozzano, Alessandro Cimatti, Cristian Mattarei
      Pages 279-294
    3. Guodong Li, Indradeep Ghosh
      Pages 295-310
    4. Oleg Travkin, Annika Mütze, Heike Wehrheim
      Pages 311-326
  9. Session 7: Model Representation

    1. Maciej Ciesielski, Walter Brown, André Rossi
      Pages 327-343
    2. Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron Peled, Jean Quilbeuf
      Pages 344-358
    3. Hana Chockler, Dmitry Pidan, Sitvanit Ruah
      Pages 359-364
  10. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013.
The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.


Web-based software infrastructure automated testing formal verification model checking simulation

Editors and affiliations

  • Valeria Bertacco
    • 1
  • Axel Legay
    • 2
  1. 1.Department of Electrical Engineering and Computer Science, CSE #4645 - ACAL LabUniversity of MichiganAnn ArborUSA
  2. 2.Inventors for the Digital World, inria, Bat C, Burean C213Rennes CedexFrance

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2013
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-03076-0
  • Online ISBN 978-3-319-03077-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment