Hardware and Software: Verification and Testing

7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Editors:

ISBN: 978-3-642-34187-8 (Print) 978-3-642-34188-5 (Online)

Table of contents (26 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-1

      Preprocessing and Inprocessing Techniques in SAT

    2. No Access

      Book Chapter

      Pages 2-2

      Pioneering the Future of Verification: A Spiral of Technological and Business Innovation

    3. No Access

      Book Chapter

      Pages 3-3

      Automated Detection and Repair of Concurrency Bugs

    4. No Access

      Book Chapter

      Pages 4-4

      Verification Challenges of Workload Optimized Hardware Systems

  3. Synthesis

    1. No Access

      Book Chapter

      Pages 5-19

      Synthesis with Clairvoyance

    2. No Access

      Book Chapter

      Pages 20-34

      Generalized Reactivity(1) Synthesis without a Monolithic Strategy

  4. Formal Verification

    1. No Access

      Book Chapter

      Pages 35-49

      IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata

    2. No Access

      Book Chapter

      Pages 50-65

      Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads

    3. No Access

      Book Chapter

      Pages 66-79

      Implicative Simultaneous Satisfiability and Applications

    4. No Access

      Book Chapter

      Pages 80-94

      Liveness vs Safety – A Practical Viewpoint

    5. No Access

      Book Chapter

      Pages 95-114

      Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search

  5. Software Quality

    1. No Access

      Book Chapter

      Pages 115-129

      SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs

    2. No Access

      Book Chapter

      Pages 130-144

      Concurrent Small Progress Measures

    3. No Access

      Book Chapter

      Pages 145-159

      Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns

    4. No Access

      Book Chapter

      Pages 160-175

      Interpolation-Based Function Summaries in Bounded Model Checking

    5. No Access

      Book Chapter

      Pages 176-189

      Can File Level Characteristics Help Identify System Level Fault-Proneness?

  6. Testing and Coverage

    1. No Access

      Book Chapter

      Pages 190-202

      Reverse Coverage Analysis

    2. No Access

      Book Chapter

      Pages 203-218

      Symbolic Testing of OpenCL Code

    3. No Access

      Book Chapter

      Pages 219-233

      Dynamic Test Data Generation for Data Intensive Applications

  7. Experience and Tools

    1. No Access

      Book Chapter

      Pages 234-241

      Injecting Floating-Point Testing Knowledge into Test Generators

previous Page of 2