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

Hardware and Software: Verification and Testing

Overview of attention for book
Hardware and Software: Verification and Testing
Springer Berlin Heidelberg

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Understanding Transactional Memory (Extended Abstract)
  3. Altmetric Badge
    Chapter 2 The SMT-LIB Initiative and the Rise of SMT
  4. Altmetric Badge
    Chapter 3 Testing Concurrent Software
  5. Altmetric Badge
    Chapter 4 Reflections on Spartan Programming and the No-Debugger Principle
  6. Altmetric Badge
    Chapter 5 An Introduction to Test Specification in FQL
  7. Altmetric Badge
    Chapter 6 Verification Failures: What to Do When Things Go Wrong
  8. Altmetric Badge
    Chapter 7 Special Session on Debugging
  9. Altmetric Badge
    Chapter 8 Debugging Unrealizable Specifications with Model-Based Diagnosis
  10. Altmetric Badge
    Chapter 9 Parallelizing a Symbolic Compositional Model-Checking Algorithm
  11. Altmetric Badge
    Chapter 10 Reaching Coverage Closure in Post-silicon Validation
  12. Altmetric Badge
    Chapter 11 Variants of LTL Query Checking
  13. Altmetric Badge
    Chapter 12 SAT-Solving Based on Boundary Point Elimination
  14. Altmetric Badge
    Chapter 13 Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation
  15. Altmetric Badge
    Chapter 14 vlogsl : A Strategy Language for Simulation-Based Verification of Hardware
  16. Altmetric Badge
    Chapter 15 Advances in Simultaneous Multithreading Testcase Generation Methods
  17. Altmetric Badge
    Chapter 16 Revisiting Synthesis of GR(1) Specifications
  18. Altmetric Badge
    Chapter 17 An Efficient and Flexible Approach to Resolution Proof Reduction
Attention for Chapter 2: The SMT-LIB Initiative and the Rise of SMT
Altmetric Badge

Mentioned by

wikipedia
5 Wikipedia pages

Readers on

mendeley
1 Mendeley
So far, Altmetric has seen 5 citations on 5 Wikipedia pages.
This page shows the most recent Wikipedia articles that mention this research output. Click here to find out how to access more activity, including 1 additional Wikipedia articles.