Hardware and Software: Verification and Testing

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

  • Sharon Barner
  • Ian Harris
  • Daniel Kroening
  • Orna Raz
Conference proceedings HVC 2010

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

Table of contents

  1. Front Matter
  2. Clark Barrett, Leonardo de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli
    Pages 3-3
  3. Shmuel Ur
    Pages 4-4
  4. Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith
    Pages 9-22
  5. Yoav Hollander, Alan Hu, João Lourenço, Ronny Morad
    Pages 24-28
  6. Robert Könighofer, Georg Hofferek, Roderick Bloem
    Pages 29-45
  7. Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa’ar, Lenore D. Zuck, Katya I. Kisyova
    Pages 46-59
  8. Allon Adir, Amir Nahir, Avi Ziv, Charles Meissner, John Schumann
    Pages 60-75
  9. Hana Chockler, Arie Gurfinkel, Ofer Strichman
    Pages 76-92
  10. Eugene Goldberg, Panagiotis Manolios
    Pages 93-111
  11. Charalambos Ioannides, Geoff Barrett, Kerstin Eder
    Pages 112-128
  12. Michael Katelman, José Meseguer
    Pages 129-145
  13. John M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir
    Pages 146-160
  14. Uri Klein, Amir Pnueli
    Pages 161-181
  15. Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina
    Pages 182-196
  16. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.

The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.


SAT solving model checking model-based diagnosis proof reduction query checking reflection resolution specification test generation test specification test-case generation validation

Editors and affiliations

  • Sharon Barner
    • 1
  • Ian Harris
    • 2
  • Daniel Kroening
    • 3
  • Orna Raz
    • 1
  1. 1.IBM Research - HaifaMount CarmelIsrael
  2. 2.Department of Computer ScienceUniversity of California IrvineIrvineUSA
  3. 3.Wolfson BuildingOxfordUK

Bibliographic information

  • DOI
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-19582-2
  • Online ISBN 978-3-642-19583-9
  • 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
Energy, Utilities & Environment