Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Front Cover
Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Springer Science & Business Media, Mar 17, 2011 - Computers - 197 pages
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Understanding Transactional Memory
1
The SMTLIB Initiative and the Rise of SMT
3
Testing Concurrent Software
4
Reflections on Spartan Programming and the NoDebugger Principle
5
An Introduction to Test Specification in FQL
9
What to Do When Things Go Wrong
23
Special Session on Debugging
24
Debugging Unrealizable Specifications with ModelBased Diagnosis
29
Variants of LTL Query Checking
76
SATSolving Based on Boundary Point Elimination
93
An Industrial Evaluation
112
A Strategy Language for SimulationBased Verification of Hardware
129
Advances in Simultaneous Multithreading Testcase Generation Methods
146
Revisiting Synthesis of GR1 Specifications
161
An Efficient and Flexible Approach to Resolution Proof Reduction
182
Author Index
197

Parallelizing a Symbolic Compositional ModelChecking Algorithm
46
Reaching Coverage Closure in Postsilicon Validation
60

Common terms and phrases

Bibliographic information