↓ Skip to main content

Verification, Model Checking, and Abstract Interpretation

Overview of attention for book
Cover of 'Verification, Model Checking, and Abstract Interpretation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Are Cells Asynchronous Circuits?
  3. Altmetric Badge
    Chapter 2 Formal Analysis of Message Passing
  4. Altmetric Badge
    Chapter 3 Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation
  5. Altmetric Badge
    Chapter 4 Quality Engineering: Leveraging Heterogeneous Information
  6. Altmetric Badge
    Chapter 5 More Precise Yet Widely Applicable Cost Analysis
  7. Altmetric Badge
    Chapter 6 Refinement-Based CFG Reconstruction from Unstructured Programs
  8. Altmetric Badge
    Chapter 7 SAT-Based Model Checking without Unrolling
  9. Altmetric Badge
    Chapter 8 Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic
  10. Altmetric Badge
    Chapter 9 Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds
  11. Altmetric Badge
    Chapter 10 Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice
  12. Altmetric Badge
    Chapter 11 Verification, Model Checking, and Abstract Interpretation
  13. Altmetric Badge
    Chapter 12 Precondition Inference from Intermittent Assertions and Application to Contracts on Collections
  14. Altmetric Badge
    Chapter 13 Strengthening Induction-Based Race Checking with Lightweight Static Analysis
  15. Altmetric Badge
    Chapter 14 Access Nets: Modeling Access to Physical Spaces
  16. Altmetric Badge
    Chapter 15 Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
  17. Altmetric Badge
    Chapter 16 Verifying Deadlock-Freedom of Communication Fabrics
  18. Altmetric Badge
    Chapter 17 Static Analysis of Finite Precision Computations
  19. Altmetric Badge
    Chapter 18 An Evaluation of Automata Algorithms for String Analysis
  20. Altmetric Badge
    Chapter 19 Automata Learning with Automated Alphabet Abstraction Refinement
  21. Altmetric Badge
    Chapter 20 Towards Complete Reasoning about Axiomatic Specifications
  22. Altmetric Badge
    Chapter 21 String Analysis as an Abstract Interpretation
  23. Altmetric Badge
    Chapter 22 ExplainHoudini: Making Houdini Inference Transparent
  24. Altmetric Badge
    Chapter 23 Abstract Probabilistic Automata
  25. Altmetric Badge
    Chapter 24 Distributed and Predictable Software Model Checking
  26. Altmetric Badge
    Chapter 25 Access Analysis-Based Tight Localization of Abstract Memories
  27. Altmetric Badge
    Chapter 26 Decision Procedures for Automating Termination Proofs
  28. Altmetric Badge
    Chapter 27 Collective Assertions
  29. Altmetric Badge
    Chapter 28 Sets with Cardinality Constraints in Satisfiability Modulo Theories
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • Good Attention Score compared to outputs of the same age (74th percentile)
  • Good Attention Score compared to outputs of the same age and source (74th percentile)

Mentioned by

twitter
2 X users
q&a
1 Q&A thread

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
1 Mendeley
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.
Title
Verification, Model Checking, and Abstract Interpretation
Published by
ADS, January 2011
DOI 10.1007/978-3-642-18275-4
ISBNs
978-3-64-218274-7, 978-3-64-218275-4
Editors

Jhala, Ranjit, Schmidt, David, Jhala, Ranjit, Schmidt, David

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 5. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 11 May 2019.
All research outputs
#6,220,174
of 23,031,582 outputs
Outputs from ADS
#7,927
of 37,458 outputs
Outputs of similar age
#45,666
of 182,444 outputs
Outputs of similar age from ADS
#188
of 754 outputs
Altmetric has tracked 23,031,582 research outputs across all sources so far. This one has received more attention than most of these and is in the 72nd percentile.
So far Altmetric has tracked 37,458 research outputs from this source. They receive a mean Attention Score of 4.6. This one has done well, scoring higher than 78% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 182,444 tracked outputs that were published within six weeks on either side of this one in any source. This one has gotten more attention than average, scoring higher than 74% of its contemporaries.
We're also able to compare this research output to 754 others from the same source and published within six weeks on either side of this one. This one has gotten more attention than average, scoring higher than 74% of its contemporaries.