Book Volume 5394 2009

Hardware and Software: Verification and Testing

4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings


ISBN: 978-3-642-01701-8 (Print) 978-3-642-01702-5 (Online)

Table of contents (22 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Section 1: Invited Talks

    1. Chapter

      Pages 1-1

      Hazards of Verification

    2. Chapter

      Pages 2-2

      Automata-Theoretic Model Checking Revisited

    3. Chapter

      Pages 3-3

      Proofs, Interpolants, and Relevance Heuristics

    4. Chapter

      Pages 4-4

      Is Verification Getting Too Complex?

    5. Chapter

      Pages 5-5

      Can Mutation Analysis Help Fix Our Broken Coverage Metrics?

    6. Chapter

      Pages 6-6

      Practical Considerations Concerning HL-to -RT Equivalence Checking

  3. Section 2: Regular Papers

    1. No Access


      Pages 7-22

      A Framework for Inherent Vacuity

    2. No Access


      Pages 23-37

      A Meta Heuristic for Effectively Detecting Concurrency Errors

    3. No Access


      Pages 38-52

      A Uniform Approach to Three-Valued Semantics for μ-Calculus on Abstractions of Hybrid Automata

    4. No Access


      Pages 53-67

      Automatic Boosting of Cross-Product Coverage Using Bayesian Networks

    5. No Access


      Pages 68-83

      Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT( \(\mathcal{LIA}\) )

    6. No Access


      Pages 84-98

      Evaluating Workloads Using Comparative Functional Coverage

    7. No Access


      Pages 99-113

      Iterative Delta Debugging

    8. No Access


      Pages 114-128

      Linear-Time Reductions of Resolution Proofs

    9. No Access


      Pages 129-148

      Significant Diagnostic Counterexamples in Probabilistic Model Checking

    10. No Access


      Pages 149-163

      Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Δ − Σ Modulator

    11. No Access


      Pages 164-178

      Structural Contradictions

    12. No Access


      Pages 179-193

      Synthesizing Test Models from Test Cases

  4. Section 3: Tool Papers

    1. No Access


      Pages 194-199

      d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework

    2. No Access


      Pages 200-204

      Progress in Automated Software Defect Prediction

previous Page of 2