Hardware and Software: Verification and Testing

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

  • Armin Biere
  • Amir Nahir
  • Tanja Vos
Conference proceedings HVC 2012

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

Table of contents

  1. Front Matter
  2. David Harel
    Pages 1-1
  3. Alex Goryachev
    Pages 5-5
  4. Jamil Mazzawi, Ziyad Hanna
    Pages 7-7
  5. Ricardo J. Dias, Vasco Pessanha, João M. Lourenço
    Pages 8-23
  6. Dima Elenbogen, Shmuel Katz, Ofer Strichman
    Pages 24-39
  7. Saddek Bensalem, Marius Bozga, Doron Peled, Jean Quilbeuf
    Pages 40-55
  8. Robert Könighofer, Roderick Bloem
    Pages 56-71
  9. Hana Chockler, Alexander Ivrii, Arie Matsliah
    Pages 72-85
  10. Antonio Morgado, Mark Liffiton, Joao Marques-Silva
    Pages 86-101
  11. Norbert Manthey, Marijn J. H. Heule, Armin Biere
    Pages 102-117
  12. John Paul, Elena Guralnik, Anatoly Koyfman, Amir Nahir, Subrat K. Panda
    Pages 118-131
  13. Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik
    Pages 132-147
  14. Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman, Gil Shurek
    Pages 178-192
  15. Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, Helen Treharne
    Pages 193-208
  16. Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin Rinard
    Pages 209-226
  17. Orna Kupferman, Sigal Weiner
    Pages 227-242
  18. Roderick Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer et al.
    Pages 260-265
  19. Phillip James, Arnold Beckmann, Markus Roggenbach
    Pages 274-275
  20. Guillermo Rodriguez-Navas, Patrick Graydon, Iain Bate
    Pages 276-277
  21. Back Matter

About these proceedings


This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.


UML component based design fault tolerant modeling model checking safety-critical systems

Editors and affiliations

  • Armin Biere
    • 1
  • Amir Nahir
    • 2
  • Tanja Vos
    • 3
  1. 1.Institute for Formal Models and VerificationJohannes Kepler UniversityLinzAustria
  2. 2.IBM Research LaboratoryHaifaIsrael
  3. 3.Universidad Politecnica de ValenciaValenciaSpain

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-39610-6
  • Online ISBN 978-3-642-39611-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site