Programming and Software Engineering

Hardware and Software, Verification and Testing

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

Editors: Ur, Shmuel, Bin, Eyal, Wolfsthal, Yaron (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-32605-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-32604-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (17 chapters)

  • Path-Based System Level Stimuli Generation

    Copty, Shady (et al.)

    Pages 1-13

  • The Safety Simple Subset

    Ben-David, Shoham (et al.)

    Pages 14-29

  • A Case for Runtime Validation of Hardware

    Malik, Sharad

    Pages 30-42

  • Assertion-Based Verification for the SpaceCAKE Multiprocessor – A Case Study

    Kulkarni, Milind (et al.)

    Pages 43-55

  • Simultaneous SAT-Based Model Checking of Safety Properties

    Khasidashvili, Zurab (et al.)

    Pages 56-75

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-32605-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-32604-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Hardware and Software, Verification and Testing
Book Subtitle
First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Editors
  • Shmuel Ur
  • Eyal Bin
  • Yaron Wolfsthal
Series Title
Programming and Software Engineering
Series Volume
3875
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-32605-2
DOI
10.1007/11678779
Softcover ISBN
978-3-540-32604-5
Edition Number
1
Number of Pages
X, 270
Topics