Hardware and software, verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /

Hardware and software, verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /

Saved in:
Bibliographic Details
Meeting name:International Haifa Verification Conference (1st : 2005 : Haifa, Israel)
Imprint:Berlin : Springer, 2006.
Language:English
Series:Lecture notes in computer science ; 3875
Subject:
Computer programs -- Verification -- Congresses.
Software architecture -- Congresses.
Computer input-output equipment -- Congresses.
Computer programs -- Verification.
Computer software -- Verification.
Computer systems -- Verification.
Integrated circuits -- Verification.
Conference papers and proceedings.
Format: E-Resource Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/5902570
Hidden Bibliographic Details
Other authors / contributors:Ur, Shmuel.
Bin, Eyal.
Wolfsthal, Yaron.
LINK (Online service)
ISBN:3540326049
Notes:Title from title screen (viewed March 9, 2006)
Electronic book available via Springer Link.
Print version originally published in 2006.
Includes bibliographical references and index.
Access restricted to subscribing institutions.
Print version also available.
Mode of access: World Wide Web.
System requirements: Adobe Acrobat required to view PDF document.
Table of Contents:
  • Path-based system level stimuli generation / Shady Copty, Itai Jaeger and Yoav Katz
  • The safety simple subset / Shoham Ben-David, Dana Fisman and Sitvanit Ruah
  • A case for runtime validation of hardware / Sharad Malik
  • Assertion-based verification for the SpaceCAKE multiprocessor - a case study / Milind Kulkarni and J. Benita Bommi
  • Simultaneous SAT-based model checking of safety properties / Zurab Khasidashvili, Alexander Nadel, Amit Palti and Ziyad Hanna
  • HaifaSat : a new robust SAT solver / Roman Gershman and Ofer Strichman
  • Production-testing of embedded systems with aspects / Jani Pesonen, Mika Katara and Tommi Mikkonen
  • Assisting the code review process using simple pattern recognition / Eitan Farchi and Bradley R. Harrington
  • An extensible open-source compiler infrastructure for testing / Dan Quinlan, Shmuel Ur and Richard Vuduc
  • Effective black-box testing with genetic algorithms / Mark Last, Shay Eyal and Abraham Kandel
  • Optimal algorithmic debugging and reduced coverage using search in structured domains / Yosi Ben-Asher, Igor Breser, Eitan Farchi and Ilia Gordon
  • Benchmarking and testing OSD for correctness and compliance / Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman and Eitan Yaffe
  • A kernel-based communication fault injector for dependability testing of distributed systems / Roberto Jung Drebes, Gabriela Jacques-Silva, Joana Matos Fonseca da Trindade and Taisy Silva Weber
  • Detecting potential deadlocks with static analysis and run-time monitoring / Rahul Agarwal, Liqiang Wang and Scott D. Stoller
  • Dynamic deadlock analysis of multi-threaded programs / Saddek Bensalem and Klaus Havelund
  • Verification of the Java causality requirements / Sergey Polyakov and Assaf Schuster
  • Choosing among alternative futures / Steve MacDonald, Jun Chen and Diego Novillo.
The John Crerar Library bookplate

Similar Items