Hardware and Software, Verification and Testing

Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

  • Editors
  • Eyal Bin
  • Avi Ziv
  • Shmuel Ur
Conference proceedings HVC 2006

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

Table of contents

  1. Front Matter
  2. Hardware Verification Track

    1. Thomas Tuerk, Klaus Schneider, Mike Gordon
      Pages 1-15
    2. Onur Guzey, Charles Wen, Li-C. Wang, Tao Feng, Hillel Miller, Magdy S. Abadir
      Pages 34-49
    3. Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler
      Pages 50-64
  3. Tools Track

    1. Itai Yarom, Viji Patil
      Pages 81-91
    2. Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak
      Pages 92-108
    3. Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli et al.
      Pages 109-121
    4. Shmuel Ur, Elad Yom-Tov, Paul Wernick
      Pages 124-137
  4. Software Testing Track

    1. Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz
      Pages 138-154
    2. Stella Levin, Amiram Yehudai
      Pages 155-165
    3. Michael Jackson
      Pages 198-203
    4. Alan Hartman, Mika Katara, Sergey Olvovsky
      Pages 204-218
    5. Mika Katara, Antti Kervinen
      Pages 219-234
  5. Back Matter

About these proceedings


The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23–26, 2006. The verification conference was a three-day, single-track conference followed by a one-day tutorial on PSL. This Haifa Verification Conference was established to bring together researchers from two different disciplines, hardware verification and software testing. The use of similar techniques among the two communities enabled the conference to help generate a unique synergy that fortifies both groups. This year, we had two traditional tracks, hardware verification and software testing, in addition to a new track dedicated to tools in these areas. The conference emphasized applicability to real-world challenges, which was vital to the many attendees coming from industry. The conference hosted two internationally recognized individuals as keynote speakers. Randal E. Bryant, Dean and University Professor from the School of Computer Science at Carnegie Mellon University gave a talk on “System Modeling and Formal Verification with UCLID” and Michael Jackson from the University of Newcastle gave a talk on “Testing the Machine in the World. ” The numerous invited speakers presented topics of great interest to the audience. Just some of these outstanding speakers included Cindy Eisner in the hardware verification track, Alon Gluska and Andrew Piziali in the tools track, and Mauro Pezze and Nir Shavit in the software testing track.


Erfüllbarkeitsproblem der Aussagenlogik Open Source Unified Modeling Language (UML) algorithm algorithmic debugging algorithms automata benchmarking concurrent debugging design formal methods functional verification model-based testing modeling pro

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-70888-9
  • Online ISBN 978-3-540-70889-6
  • 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