Hardware and Software, Verification and Testing

First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

  • Shmuel Ur
  • Eyal Bin
  • Yaron Wolfsthal
Conference proceedings HVC 2005

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

Table of contents

  1. Front Matter
  2. Hardware Verification

    1. Shady Copty, Itai Jaeger, Yoav Katz
      Pages 1-13
    2. Shoham Ben-David, Dana Fisman, Sitvanit Ruah
      Pages 14-29
    3. Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna
      Pages 56-75
    4. Roman Gershman, Ofer Strichman
      Pages 76-89
  3. Software Testing

    1. Jani Pesonen, Mika Katara, Tommi Mikkonen
      Pages 90-102
    2. Eitan Farchi, Bradley R. Harrington
      Pages 103-115
    3. Dan Quinlan, Shmuel Ur, Richard Vuduc
      Pages 116-133
    4. Mark Last, Shay Eyal, Abraham Kandel
      Pages 134-148
    5. Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon
      Pages 149-157
    6. Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, Eitan Yaffe
      Pages 158-176

    1. Roberto Jung Drebes, Gabriela Jacques-Silva, Joana Matos Fonseca da Trindade, Taisy Silva Weber
      Pages 177-190
    2. Rahul Agarwal, Liqiang Wang, Scott D. Stoller
      Pages 191-207
    3. Saddek Bensalem, Klaus Havelund
      Pages 208-223
    4. Sergey Polyakov, Assaf Schuster
      Pages 224-246
    5. Steve MacDonald, Jun Chen, Diego Novillo
      Pages 247-264
  5. Back Matter

About these proceedings


The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery.


Compiler Debugging Java algorithmic debugging algorithms distributed systems embedded systems formal verification genetic algorithms model checking model-based testing runtime validation software testing systems analysis verification

Editors and affiliations

  • Shmuel Ur
  • Eyal Bin
    • 1
  • Yaron Wolfsthal
    • 2
  1. 1.IBM LabsHaifa University, Mount CarmelHaifaIsrael
  2. 2.IBM Labs, Haifa University, Mount Carmel,HaifaIsrael

Bibliographic information

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment