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

DOI: 10.1007/978-3-642-39611-3

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

About these proceedings

Introduction

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.

Keywords

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

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39610-6
  • Online ISBN 978-3-642-39611-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349