↓ 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 HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
  3. Altmetric Badge
    Chapter 2 Using Types for Software Verification
  4. Altmetric Badge
    Chapter 3 SMT-Based Modular Analysis of Sequential Systems Code
  5. Altmetric Badge
    Chapter 4 Logic and Compositional Verification of Hybrid Systems
  6. Altmetric Badge
    Chapter 5 Using Coverage to Deploy Formal Verification in a Simulation World
  7. Altmetric Badge
    Chapter 6 Stability in Weak Memory Models
  8. Altmetric Badge
    Chapter 7 Verification of Certifying Computations
  9. Altmetric Badge
    Chapter 8 Parameter Identification for Markov Models of Biochemical Reactions
  10. Altmetric Badge
    Chapter 9 Getting Rid of Store-Buffers in TSO Analysis
  11. Altmetric Badge
    Chapter 10 Malware Analysis with Tree Automata Inference
  12. Altmetric Badge
    Chapter 11 State/Event-Based LTL Model Checking under Parametric Generalized Fairness
  13. Altmetric Badge
    Chapter 12 Resolution Proofs and Skolem Functions in QBF Evaluation and Applications
  14. Altmetric Badge
    Chapter 13 The BINCOA Framework for Binary Code Analysis
  15. Altmetric Badge
    Chapter 14 CVC4
  16. Altmetric Badge
    Chapter 15 SLAyer : Memory Safety for Systems-Level Code
  17. Altmetric Badge
    Chapter 16 CPAchecker : A Tool for Configurable Software Verification
  18. Altmetric Badge
    Chapter 17 Existential Quantification as Incremental SAT
  19. Altmetric Badge
    Chapter 18 Efficient Analysis of Probabilistic Programs with an Unbounded Counter
  20. Altmetric Badge
    Chapter 19 Model Checking Algorithms for CTMDPs
  21. Altmetric Badge
    Chapter 20 Computer Aided Verification
  22. Altmetric Badge
    Chapter 21 Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives
  23. Altmetric Badge
    Chapter 22 Smoothing a Program Soundly and Robustly
  24. Altmetric Badge
    Chapter 23 A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification
  25. Altmetric Badge
    Chapter 24 Kratos – A Software Model Checker for SystemC
  26. Altmetric Badge
    Chapter 25 Efficient Scenario Verification for Hybrid Automata
  27. Altmetric Badge
    Chapter 26 Temporal Property Verification as a Program Analysis Task
  28. Altmetric Badge
    Chapter 27 Time for Statistical Model Checking of Real-Time Systems
  29. Altmetric Badge
    Chapter 28 Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs
  30. Altmetric Badge
    Chapter 29 Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic
  31. Altmetric Badge
    Chapter 30 SpaceEx: Scalable Verification of Hybrid Systems
  32. Altmetric Badge
    Chapter 31 From Cardiac Cells to Genetic Regulatory Networks
  33. Altmetric Badge
    Chapter 32 Threader: A Constraint-Based Verifier for Multi-threaded Programs
  34. Altmetric Badge
    Chapter 33 Interactive Synthesis of Code Snippets
  35. Altmetric Badge
    Chapter 34 Forest Automata for Verification of Heap Manipulation
  36. Altmetric Badge
    Chapter 35 Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints
  37. Altmetric Badge
    Chapter 36 μZ– An Efficient Engine for Fixed Points with Constraints
  38. Altmetric Badge
    Chapter 37 BAP: A Binary Analysis Platform
  39. Altmetric Badge
    Chapter 38 HMC: Verifying Functional Programs Using Abstract Interpreters
  40. Altmetric Badge
    Chapter 39 A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations
  41. Altmetric Badge
    Chapter 40 Bug-Assist: Assisting Fault Localization in ANSI-C Programs
  42. Altmetric Badge
    Chapter 41 Synthesis of Distributed Control through Knowledge Accumulation
  43. Altmetric Badge
    Chapter 42 Language Equivalence for Probabilistic Automata
  44. Altmetric Badge
    Chapter 43 Formalization and Automated Verification of RESTful Behavior
  45. Altmetric Badge
    Chapter 44 Linear Completeness Thresholds for Bounded Model Checking
  46. Altmetric Badge
    Chapter 45 Interpolation-Based Software Verification with Wolverine
  47. Altmetric Badge
    Chapter 46 Synthesizing Biological Theories
  48. Altmetric Badge
    Chapter 47 PRISM 4.0: Verification of Probabilistic Real-Time Systems
  49. Altmetric Badge
    Chapter 48 Program Analysis for Overlaid Data Structures
  50. Altmetric Badge
    Chapter 49 KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs
  51. Altmetric Badge
    Chapter 50 Fully Symbolic Model Checking for Timed Automata
  52. Altmetric Badge
    Chapter 51 Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus
  53. Altmetric Badge
    Chapter 52 Synthia: Verification and Synthesis for Timed Automata
  54. Altmetric Badge
    Chapter 53 FixBag : A Fixpoint Calculator for Quantified Bag Constraints
  55. Altmetric Badge
    Chapter 54 Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP
  56. Altmetric Badge
    Chapter 55 Practical, Low-Effort Equivalence Verification of Real Code
  57. Altmetric Badge
    Chapter 56 Relational Abstractions for Continuous and Hybrid Systems
  58. Altmetric Badge
    Chapter 57 Simplifying Loop Invariant Generation Using Splitter Predicates
  59. Altmetric Badge
    Chapter 58 Monitorability of Stochastic Dynamical Systems
  60. Altmetric Badge
    Chapter 59 Equality-Based Translation Validator for LLVM
  61. Altmetric Badge
    Chapter 60 Computer Aided Verification
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • In the top 25% of all research outputs scored by Altmetric
  • High Attention Score compared to outputs of the same age (88th percentile)
  • High Attention Score compared to outputs of the same age and source (94th percentile)

Mentioned by

twitter
1 X user
patent
1 patent
wikipedia
3 Wikipedia pages
q&a
1 Q&A thread

Citations

dimensions_citation
26 Dimensions

Readers on

mendeley
5 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
Computer Aided Verification
Published by
Lecture notes in computer science, January 2011
DOI 10.1007/978-3-642-22110-1
ISBNs
978-3-64-222109-5, 978-3-64-222110-1
Authors

Ganesh Gopalakrishnan, Shaz Qadeer

Editors

Gopalakrishnan, Ganesh, Qadeer, Shaz, Gopalakrishnan, Ganesh, Qadeer, Shaz

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 80%
Professor > Associate Professor 1 20%
Readers by discipline Count As %
Computer Science 2 40%
Social Sciences 1 20%
Medicine and Dentistry 1 20%
Engineering 1 20%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 10. 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 28 November 2023.
All research outputs
#3,738,793
of 26,017,215 outputs
Outputs from Lecture notes in computer science
#758
of 8,229 outputs
Outputs of similar age
#22,232
of 197,219 outputs
Outputs of similar age from Lecture notes in computer science
#16
of 318 outputs
Altmetric has tracked 26,017,215 research outputs across all sources so far. Compared to these this one has done well and is in the 85th percentile: it's in the top 25% of all research outputs ever tracked by Altmetric.
So far Altmetric has tracked 8,229 research outputs from this source. They typically receive a little more attention than average, with a mean Attention Score of 5.3. This one has done particularly well, scoring higher than 90% 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 197,219 tracked outputs that were published within six weeks on either side of this one in any source. This one has done well, scoring higher than 88% of its contemporaries.
We're also able to compare this research output to 318 others from the same source and published within six weeks on either side of this one. This one has done particularly well, scoring higher than 94% of its contemporaries.