ENGLISH

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

By Eyal Bin , Shmuel Ur , Shady Copty , Itai Jaeger , Yoav Katz (auth.) , Yaron Wolfsthal (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2006
ISBN
3540326049, 9783540326045
DOI
10.1007/11678779
Open Library ID
OL9320175M
Language
english
Format
PDF
Filesize
5 MB (5619900 bytes)
Series
Lecture Notes in Computer Science 3875 : Programming and Software Engineering
Edition
1
Pages
270\274
Library
Kolxo3
Time added
2011-02-14 12:09:19
CompilersInterpretersSoftware Engineering; Logics and Meanings of Progr

Description

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.

Similar books