↓ 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 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 9: Parallelizing a Symbolic Compositional Model-Checking Algorithm
Altmetric Badge

Readers on

mendeley
9 Mendeley
Summary
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
Parallelizing a Symbolic Compositional Model-Checking Algorithm
Chapter number 9
Book title
Hardware and Software: Verification and Testing
Published in
ADS, October 2010
DOI 10.1007/978-3-642-19583-9_9
Book ISBNs
978-3-64-219582-2, 978-3-64-219583-9
Authors

Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa’ar, Lenore D. Zuck, Katya I. Kisyova

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 9 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 3 33%
Researcher 2 22%
Student > Ph. D. Student 1 11%
Student > Postgraduate 1 11%
Unknown 2 22%
Readers by discipline Count As %
Computer Science 7 78%
Unknown 2 22%

This page is provided by Altmetric.