Hardware and Software: Verification and Testing
Subtitle: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
By: edited by Kerstin Eder, João Lourenço, Onn Shehory
Contributors: Lourenço, João; Shehory, Onn M., 1963-; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7261
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 263
ISBN-13: 9783642341885
Subjects: Logic design; Logics and Meanings of Programs; Computer science; Software engineering; Programming Languages, Compilers, Interpreters; Artificial intelligence; Artificial Intelligence (incl. Robotics)
Description: This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. <br>The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
Table of contents: title: <p>Preprocessing and Inprocessing Techniques in SAT<i>; title: </i>ioneering the Future of Verification: A Spiral of Technological and Business Innovation; title: Automated Detection and Repair of Concurrency Bugs; title: Verification Challenges of Workload Optimized Hardware Systems; title: Synthesis with Clairvoyance; title: Generalized Reactivity(1) Synthesis without a Monolithic Strategy; title: IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata; title: Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads.Implicative Simultaneous Satisfiability and Applications; title: Liveness vs Safety – A Practical Viewpoint; title: Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search; title: SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs; title: Concurrent Small Progress Measures; title: Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns; title: Interpolation-Based Function Summaries in Bounded Model Checking; title: ^; title: Can File Level Characteristics Help Identify System Level Fault-Proneness; title: Reverse Coverage Analysis; title: Symbolic Testing of OpenCL Code; title: Dynamic Test Data Generation for Data Intensive Applications; title: Injecting Floating-Point Testing Knowledge into Test Generators; title: Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&amp;STE; title: HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware; title: On-Line Detection and Prediction of Temporal Patterns; title: Function Summaries in Software Upgrade Checking; title: The Rabin Index of Parity Games; title: Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing. </p><i>; title: </i>ioneering the Future of Verification: A Spiral of Technological and Business Innovation; title: Automated Detection and Repair of Concurrency Bugs; title: Verification Challenges of Workload Optimized Hardware Systems; title: Synthesis with Clairvoyance; title: Generalized Reactivity(1) Synthesis without a Monolithic Strategy; title: ^; title: ^^; title: IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata; title: Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads.Implicative Simultaneous Satisfiability and Applications; title: Liveness vs Safety – A Practical Viewpoint; title: Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search; title: SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs; title: Concurrent Small Progress Measures; title: Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns; title: Interpolation-Based Function Summaries in Bounded Model Checking; title: Can File Level Characteristics Help Identify System Level Fault-Proneness; title: Reverse Coverage Analysis; title: Symbolic Testing of OpenCL Code; title: Dynamic Test Data Generation for Data Intensive Applications; title: Injecting Floating-Point Testing Knowledge into Test Generators; title: Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&amp;STE; title: ^; title: ^^; title: HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware; title: On-Line Detection and Prediction of Temporal Patterns; title: Function Summaries in Software Upgrade Checking; title: The Rabin Index of Parity Games; title: Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing.; title: ^^