Hardware and Software: Verification and Testing [E-Book]: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, João Lourenço, Onn Shehory.
Eder, Kerstin.
Lourenço, João. / Shehory, Onn.
Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
XII, 263 p. 95 illus. digital.
englisch
9783642341885
10.1007/978-3-642-34188-5
Lecture notes in computer science ; 7261
Full Text
Table of Contents:
  • Preprocessing and Inprocessing Techniques in SAT
  • ioneering the Future of Verification: A Spiral of Technological and Business Innovation
  • Automated Detection and Repair of Concurrency Bugs
  • Verification Challenges of Workload Optimized Hardware Systems
  • Synthesis with Clairvoyance
  • Generalized Reactivity(1) Synthesis without a Monolithic Strategy
  • IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata
  • Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads.Implicative Simultaneous Satisfiability and Applications
  • Liveness vs Safety – A Practical Viewpoint
  • Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search
  • SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs
  • Concurrent Small Progress Measures
  • Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns
  • Interpolation-Based Function Summaries in Bounded Model Checking
  • Can File Level Characteristics Help Identify System Level Fault-Proneness
  • Reverse Coverage Analysis
  • Symbolic Testing of OpenCL Code
  • Dynamic Test Data Generation for Data Intensive Applications
  • Injecting Floating-Point Testing Knowledge into Test Generators
  • Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE
  • HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware
  • On-Line Detection and Prediction of Temporal Patterns
  • Function Summaries in Software Upgrade Checking
  • The Rabin Index of Parity Games
  • Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing.
  • ioneering the Future of Verification: A Spiral of Technological and Business Innovation
  • Automated Detection and Repair of Concurrency Bugs
  • Verification Challenges of Workload Optimized Hardware Systems
  • Synthesis with Clairvoyance
  • Generalized Reactivity(1) Synthesis without a Monolithic Strategy
  • IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata
  • Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads.Implicative Simultaneous Satisfiability and Applications
  • Liveness vs Safety – A Practical Viewpoint
  • Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search
  • SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs
  • Concurrent Small Progress Measures
  • Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns
  • Interpolation-Based Function Summaries in Bounded Model Checking
  • Can File Level Characteristics Help Identify System Level Fault-Proneness
  • Reverse Coverage Analysis
  • Symbolic Testing of OpenCL Code
  • Dynamic Test Data Generation for Data Intensive Applications
  • Injecting Floating-Point Testing Knowledge into Test Generators
  • Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE
  • HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware
  • On-Line Detection and Prediction of Temporal Patterns
  • Function Summaries in Software Upgrade Checking
  • The Rabin Index of Parity Games
  • Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing.