↓ Skip to main content

Computer Aided Verification

Overview of attention for book
Cover of 'Computer Aided Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Software Analysis and Model Checking
  3. Altmetric Badge
    Chapter 2 The Quest for Efficient Boolean Satisfiability Solvers
  4. Altmetric Badge
    Chapter 3 On Abstraction in Software Verification
  5. Altmetric Badge
    Chapter 4 The Symbolic Approach to Hybrid Systems
  6. Altmetric Badge
    Chapter 5 Infinite Games and Verification
  7. Altmetric Badge
    Chapter 6 Symbolic Localization Reduction with Reconstruction Layering and Backtracking
  8. Altmetric Badge
    Chapter 7 Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions
  9. Altmetric Badge
    Chapter 8 Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
  10. Altmetric Badge
    Chapter 9 Liveness with (0,1, ∞)- Counter Abstraction
  11. Altmetric Badge
    Chapter 10 Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking
  12. Altmetric Badge
    Chapter 11 Automatic Abstraction Using Generalized Model Checking
  13. Altmetric Badge
    Chapter 12 Property Checking via Structural Analysis
  14. Altmetric Badge
    Chapter 13 Conformance Checking for Models of Asynchronous Message Passing Software
  15. Altmetric Badge
    Chapter 14 A Modular Checker for Multithreaded Programs
  16. Altmetric Badge
    Chapter 15 Automatic Derivation of Timing Constraints by Failure Analysis
  17. Altmetric Badge
    Chapter 16 Deciding Separation Formulas with SAT
  18. Altmetric Badge
    Chapter 17 Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
  19. Altmetric Badge
    Chapter 18 Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT
  20. Altmetric Badge
    Chapter 19 Applying SAT Methods in Unbounded Symbolic Model Checking
  21. Altmetric Badge
    Chapter 20 SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
  22. Altmetric Badge
    Chapter 21 Semi-formal Bounded Model Checking
  23. Altmetric Badge
    Chapter 22 Algorithmic Verification of Invalidation-Based Protocols
  24. Altmetric Badge
    Chapter 23 Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving
  25. Altmetric Badge
    Chapter 24 Automated Unbounded Verification of Security Protocols
  26. Altmetric Badge
    Chapter 25 Exploiting Behavioral Hierarchy for Efficient Model Checking
  27. Altmetric Badge
    Chapter 26 IF-2.0: A Validation Environment for Component-Based Real-Time Systems
  28. Altmetric Badge
    Chapter 27 The AVISS Security Protocol Analysis Tool
  29. Altmetric Badge
    Chapter 28 SPeeDI — A Verification Tool for Polygonal Hybrid Systems
  30. Altmetric Badge
    Chapter 29 NuSMV 2: An OpenSource Tool for Symbolic Model Checking
  31. Altmetric Badge
    Chapter 30 The d/dt Tool for Verification of Hybrid Systems
  32. Altmetric Badge
    Chapter 31 Model Checking Linear Properties of Prefix-Recognizable Systems
  33. Altmetric Badge
    Chapter 32 Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking
  34. Altmetric Badge
    Chapter 33 On Discrete Modeling and Model Checking for Nonlinear Analog Systems
  35. Altmetric Badge
    Chapter 34 Synchronous and Bidirectional Component Interfaces
  36. Altmetric Badge
    Chapter 35 Interface Compatibility Checking for Software Modules
  37. Altmetric Badge
    Chapter 36 Practical Methods for Proving Program Termination
  38. Altmetric Badge
    Chapter 37 Evidence-Based Model Checking
  39. Altmetric Badge
    Chapter 38 Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification
  40. Altmetric Badge
    Chapter 39 Vacuum Cleaning CTL Formulae
  41. Altmetric Badge
    Chapter 40 CVC: A Cooperating Validity Checker
  42. Altmetric Badge
    Chapter 41 ΧChek: A Multi-valued Model-Checker
  43. Altmetric Badge
    Chapter 42 PathFinder: A Tool for Design Exploration
  44. Altmetric Badge
    Chapter 43 Abstracting C with abC
  45. Altmetric Badge
    Chapter 44 AMC: An Adaptive Model Checker
  46. Altmetric Badge
    Chapter 45 Temporal-Safety Proofs for Systems Code
  47. Altmetric Badge
    Chapter 46 Extrapolating Tree Transformations
  48. Altmetric Badge
    Chapter 47 Regular Tree Model Checking
  49. Altmetric Badge
    Chapter 48 Compressing Transitions for Model Checking
  50. Altmetric Badge
    Chapter 49 Canonical Prefixes of Petri Net Unfoldings
  51. Altmetric Badge
    Chapter 50 State Space Reduction by Proving Confluence
  52. Altmetric Badge
    Chapter 51 Fair Simulation Minimization
Attention for Chapter 39: Vacuum Cleaning CTL Formulae
Altmetric Badge

About this Attention Score

  • Above-average Attention Score compared to outputs of the same age (55th percentile)
  • Good Attention Score compared to outputs of the same age and source (78th percentile)

Mentioned by

q&a
1 Q&A thread

Citations

dimensions_citation
10 Dimensions

Readers on

mendeley
7 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.
Chapter title
Vacuum Cleaning CTL Formulae
Chapter number 39
Book title
Computer Aided Verification
Published in
Lecture notes in computer science, July 2015
DOI 10.1007/3-540-45657-0_39
Book ISBNs
978-3-54-043997-4, 978-3-54-045657-5
Authors

Mitra Purandare, Fabio Somenzi

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 1 14%
Germany 1 14%
Unknown 5 71%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 29%
Researcher 2 29%
Student > Master 2 29%
Unknown 1 14%
Readers by discipline Count As %
Computer Science 5 71%
Engineering 1 14%
Unknown 1 14%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 3. 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 22 October 2014.
All research outputs
#12,930,522
of 22,817,213 outputs
Outputs from Lecture notes in computer science
#3,776
of 8,124 outputs
Outputs of similar age
#115,938
of 263,414 outputs
Outputs of similar age from Lecture notes in computer science
#72
of 348 outputs
Altmetric has tracked 22,817,213 research outputs across all sources so far. This one is in the 42nd percentile – i.e., 42% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,124 research outputs from this source. They receive a mean Attention Score of 5.0. This one has gotten more attention than average, scoring higher than 51% 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 263,414 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 55% of its contemporaries.
We're also able to compare this research output to 348 others from the same source and published within six weeks on either side of this one. This one has done well, scoring higher than 78% of its contemporaries.