↓ Skip to main content
What is this page? Embed badge

Hardware and Software: Verification and Testing

Overview of attention for book
Cover of 'Hardware and Software: Verification and Testing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Hazards of Verification
  3. Altmetric Badge
    Chapter 2 Automata-Theoretic Model Checking Revisited
  4. Altmetric Badge
    Chapter 3 Proofs, Interpolants, and Relevance Heuristics
  5. Altmetric Badge
    Chapter 4 Is Verification Getting Too Complex?
  6. Altmetric Badge
    Chapter 5 Can Mutation Analysis Help Fix Our Broken Coverage Metrics?
  7. Altmetric Badge
    Chapter 6 Practical Considerations Concerning HL-to -RT Equivalence Checking
  8. Altmetric Badge
    Chapter 7 A Framework for Inherent Vacuity
  9. Altmetric Badge
    Chapter 8 A Meta Heuristic for Effectively Detecting Concurrency Errors
  10. Altmetric Badge
    Chapter 9 A Uniform Approach to Three-Valued Semantics for μ -Calculus on Abstractions of Hybrid Automata
  11. Altmetric Badge
    Chapter 10 Automatic Boosting of Cross-Product Coverage Using Bayesian Networks
  12. Altmetric Badge
    Chapter 11 Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT( $\mathcal{LIA}$ )
  13. Altmetric Badge
    Chapter 12 Evaluating Workloads Using Comparative Functional Coverage
  14. Altmetric Badge
    Chapter 13 Iterative Delta Debugging
  15. Altmetric Badge
    Chapter 14 Linear-Time Reductions of Resolution Proofs
  16. Altmetric Badge
    Chapter 15 Significant Diagnostic Counterexamples in Probabilistic Model Checking
  17. Altmetric Badge
    Chapter 16 Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Δ  −  Σ Modulator
  18. Altmetric Badge
    Chapter 17 Structural Contradictions
  19. Altmetric Badge
    Chapter 18 Synthesizing Test Models from Test Cases
  20. Altmetric Badge
    Chapter 19 d-TSR : Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework
  21. Altmetric Badge
    Chapter 20 Progress in Automated Software Defect Prediction
  22. Altmetric Badge
    Chapter 21 SeeCode – A Code Review Plug-in for Eclipse
  23. Altmetric Badge
    Chapter 22 User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE
Attention for Chapter 14: Linear-Time Reductions of Resolution Proofs
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
3 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Linear-Time Reductions of Resolution Proofs
Chapter number 14
Book title
Hardware and Software: Verification and Testing
Published by
Springer, Berlin, Heidelberg, October 2008
DOI 10.1007/978-3-642-01702-5_14
Book ISBNs
978-3-64-201701-8, 978-3-64-201702-5
Authors

Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman, Bar-Ilan, Omer, Fuhrmann, Oded, Hoory, Shlomo, Shacham, Ohad, Strichman, Ofer

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 33%
Student > Ph. D. Student 1 33%
Student > Master 1 33%
Readers by discipline Count As %
Computer Science 3 100%

This page is provided by Altmetric.