Book Volume 7857 2013

Hardware and Software: Verification and Testing

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers


ISBN: 978-3-642-39610-6 (Print) 978-3-642-39611-3 (Online)

Table of contents (28 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Chapter

    Pages 1-1

    On Behavioral Programming

  3. Chapter

    Pages 2-2

    Verifying Real-Time Software Is Not Reasonable (Today)

  4. Chapter

    Pages 3-3

    SMT in Verification, Modeling, and Testing at Microsoft

  5. Chapter

    Pages 4-4

    Reducing Costs While Increasing Quality

  6. Chapter

    Pages 5-5

    Special Session on Security Verification

  7. Chapter

    Pages 6-6

    Circuit Primitives for Monitoring Information Flow and Enabling Redundancy

  8. Chapter

    Pages 7-7

    Formal Analysis of Security Data Paths in RTL Design

  9. Chapter

    Pages 8-23

    Precise Detection of Atomicity Violations

  10. Chapter

    Pages 24-39

    Proving Mutual Termination of Programs

  11. Chapter

    Pages 40-55

    Knowledge Based Transactional Behavior

  12. Chapter

    Pages 56-71

    Repair with On-The-Fly Program Analysis

  13. Chapter

    Pages 72-85

    Computing Interpolants without Proofs

  14. Chapter

    Pages 86-101

    MaxSAT-Based MCS Enumeration

  15. Chapter

    Pages 102-117

    Automated Reencoding of Boolean Formulas

  16. Chapter

    Pages 118-131

    Leveraging Accelerated Simulation for Floating-Point Regression

  17. Chapter

    Pages 132-147

    Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation

  18. Chapter

    Pages 148-161

    A Novel Approach for Implementing Microarchitectural Verification Plans in Processor Designs

  19. Chapter

    Pages 162-177

    Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation

  20. Chapter

    Pages 178-192

    A New Test-Generation Methodology for System-Level Verification of Production Processes

  21. Chapter

    Pages 193-208

    Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B

previous Page of 2