Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
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, t...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2006.
|
| Σειρά: | Lecture Notes in Computer Science,
3875 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Hardware Verification
- Path-Based System Level Stimuli Generation
- The Safety Simple Subset
- A Case for Runtime Validation of Hardware
- Assertion-Based Verification for the SpaceCAKE Multiprocessor – A Case Study
- Simultaneous SAT-Based Model Checking of Safety Properties
- HaifaSat: A New Robust SAT Solver
- Software Testing
- Production-Testing of Embedded Systems with Aspects
- Assisting the Code Review Process Using Simple Pattern Recognition
- An Extensible Open-Source Compiler Infrastructure for Testing
- Effective Black-Box Testing with Genetic Algorithms
- Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains
- Benchmarking and Testing OSD for Correctness and Compliance
- PADTAD
- A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems
- Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring
- Dynamic Deadlock Analysis of Multi-threaded Programs
- Verification of the Java Causality Requirements
- Choosing Among Alternative Futures.
