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.
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. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from...
Saved in:
Full text |
|
Personal Name(s): | Eder, Kerstin. |
Lourenço, João. / Shehory, Onn. | |
Imprint: |
Berlin, Heidelberg :
Springer Berlin Heidelberg :
2012
Imprint: Springer, |
Physical Description: |
XII, 263 p. 95 illus. digital. |
Note: |
englisch |
ISBN: |
9783642341885 |
DOI: |
10.1007/978-3-642-34188-5 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture notes in computer science ;
7261 |
Subject (LOC): |
LEADER | 05043nam a22003615i 4500 | ||
---|---|---|---|
001 | 978-3-642-34188-5 | ||
003 | Springer | ||
008 | 121026s2012 gw | s |||| 0|eng d | ||
020 | |a 9783642341885 | ||
024 | 7 | |a 10.1007/978-3-642-34188-5 |2 doi | |
035 | |a (Sirsi) a300499 | ||
041 | |a eng | ||
082 | 0 | 4 | |a 005.1 |2 23 |
245 | 1 | 0 | |a Hardware and Software: Verification and Testing |h [E-Book]: |b 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / |c edited by Kerstin Eder, João Lourenço, Onn Shehory. |
260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2012 |e (Springer LINK) | ||
300 | |a XII, 263 p. 95 illus. |b digital. | ||
490 | |a Lecture notes in computer science ; |v 7261 | ||
500 | |a englisch | ||
505 | 0 | |a 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. | |
520 | |a 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. 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. | ||
596 | |a 1 | ||
650 | 0 | |a Artificial intelligence. | |
650 | 0 | |a Computer science. | |
650 | 0 | |a Logic design. | |
650 | 0 | |a Software engineering. | |
700 | 1 | |a Eder, Kerstin. | |
700 | 1 | |a Lourenço, João. | |
700 | 1 | |a Shehory, Onn. | |
856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-3-642-34188-5 |z Volltext |
908 | |a Konferenz | ||
915 | |a zzwFZJ2 | ||
932 | |a Computer Science (Springer-11645) | ||
949 | |a XX(300499.1) |w AUTO |c 1 |i 300499-1001 |l ELECTRONIC |m ZB |r N |s Y |t E-BOOK |u 20/11/2012 |x ZB-D |z UNKNOWN |1 ONLINE |2 KONFERENZ |o .STAFF. NEL |