↓ 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 Transactional Memory: Glimmer of a Theory
  3. Altmetric Badge
    Chapter 2 Mixed-Signal System Verification: A High-Speed Link Example
  4. Altmetric Badge
    Chapter 3 Modelling Epigenetic Information Maintenance: A Kappa Tutorial
  5. Altmetric Badge
    Chapter 4 Component-Based Construction of Real-Time Systems in BIP
  6. Altmetric Badge
    Chapter 5 Models and Proofs of Protocol Security: A Progress Report
  7. Altmetric Badge
    Chapter 6 Predictability vs. Efficiency in the Multicore Era: Fight of Titans or Happy Ever after?
  8. Altmetric Badge
    Chapter 7 SPEED: Symbolic Complexity Bound Analysis
  9. Altmetric Badge
    Chapter 8 Regression Verification: Proving the Equivalence of Similar Programs
  10. Altmetric Badge
    Chapter 9 Symbolic Counter Abstraction for Concurrent Software
  11. Altmetric Badge
    Chapter 10 Priority Scheduling of Distributed Systems Based on Model Checking
  12. Altmetric Badge
    Chapter 11 Explaining Counterexamples Using Causality
  13. Altmetric Badge
    Chapter 12 Size-Change Termination, Monotonicity Constraints and Ranking Functions
  14. Altmetric Badge
    Chapter 13 Linear Functional Fixed-points
  15. Altmetric Badge
    Chapter 14 Better Quality in Synthesis through Quantitative Objectives
  16. Altmetric Badge
    Chapter 15 Automatic Verification of Integer Array Programs
  17. Altmetric Badge
    Chapter 16 Automated Analysis of Java Methods for Confidentiality
  18. Altmetric Badge
    Chapter 17 Requirements Validation for Hybrid Systems
  19. Altmetric Badge
    Chapter 18 Towards Performance Prediction of Compositional Models in Industrial GALS Designs
  20. Altmetric Badge
    Chapter 19 Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
  21. Altmetric Badge
    Chapter 20 Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
  22. Altmetric Badge
    Chapter 21 Meta-analysis for Atomicity Violations under Nested Locking
  23. Altmetric Badge
    Chapter 22 An Antichain Algorithm for LTL Realizability
  24. Altmetric Badge
    Chapter 23 On Extending Bounded Proofs to Inductive Proofs
  25. Altmetric Badge
    Chapter 24 Games through Nested Fixpoints
  26. Altmetric Badge
    Chapter 25 Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
  27. Altmetric Badge
    Chapter 26 Software Transactional Memory on Relaxed Memory Models
  28. Altmetric Badge
    Chapter 27 Sliding Window Abstraction for Infinite Markov Chains
  29. Altmetric Badge
    Chapter 28 Centaur Technology Media Unit Verification
  30. Altmetric Badge
    Chapter 29 Incremental Instance Generation in Local Reasoning
  31. Altmetric Badge
    Chapter 30 Quantifier Elimination via Functional Composition
  32. Altmetric Badge
    Chapter 31 Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
  33. Altmetric Badge
    Chapter 32 Replacing Testing with Formal Verification in Intel $^{\scriptsize\circledR}$ Core TM i7 Processor Execution Engine Validation
  34. Altmetric Badge
    Chapter 33 Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
  35. Altmetric Badge
    Chapter 34 A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints
  36. Altmetric Badge
    Chapter 35 Generalizing DPLL to Richer Logics
  37. Altmetric Badge
    Chapter 36 Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
  38. Altmetric Badge
    Chapter 37 Intra-module Inference
  39. Altmetric Badge
    Chapter 38 Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
  40. Altmetric Badge
    Chapter 39 Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
  41. Altmetric Badge
    Chapter 40 Reachability Analysis of Hybrid Systems Using Support Functions
  42. Altmetric Badge
    Chapter 41 Reducing Test Inputs Using Information Partitions
  43. Altmetric Badge
    Chapter 42 On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure
  44. Altmetric Badge
    Chapter 43 Cardinality Abstraction for Declarative Networking Applications
  45. Altmetric Badge
    Chapter 44 Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
  46. Altmetric Badge
    Chapter 45 D-Finder: A Tool for Compositional Deadlock Detection and Verification
  47. Altmetric Badge
    Chapter 46 HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
  48. Altmetric Badge
    Chapter 47 The Zonotope Abstract Domain Taylor1+
  49. Altmetric Badge
    Chapter 48 InvGen: An Efficient Invariant Generator
  50. Altmetric Badge
    Chapter 49 INFAMY: An Infinite-State Markov Model Checker
  51. Altmetric Badge
    Chapter 50 Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep
  52. Altmetric Badge
    Chapter 51 Homer : A Higher-Order Observational Equivalence Model checkER
  53. Altmetric Badge
    Chapter 52 Apron : A Library of Numerical Abstract Domains for Static Analysis
  54. Altmetric Badge
    Chapter 53 Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
  55. Altmetric Badge
    Chapter 54 CalFuzzer : An Extensible Active Testing Framework for Concurrent Programs
  56. Altmetric Badge
    Chapter 55 Computer Aided Verification
  57. Altmetric Badge
    Chapter 56 TASS: Timing Analyzer of Scenario-Based Specifications
  58. Altmetric Badge
    Chapter 57 Translation Validation: From Simulink to C
  59. Altmetric Badge
    Chapter 58 VS 3 : SMT Solvers for Program Verification
  60. Altmetric Badge
    Chapter 59 PAT: Towards Flexible Verification under Fairness
  61. Altmetric Badge
    Chapter 60 A Concurrent Portfolio Approach to SMT Solving
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
  • Good Attention Score compared to outputs of the same age (78th percentile)
  • Good Attention Score compared to outputs of the same age and source (77th percentile)

Mentioned by

patent
5 patents
wikipedia
6 Wikipedia pages

Readers on

mendeley
86 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
ADS, January 2009
DOI 10.1007/978-3-642-02658-4
ISBNs
978-3-64-202657-7, 978-3-64-202658-4
Editors

Ahmed Bouajjani, Oded Maler

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 86 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 1%
Unknown 85 99%
Readers by discipline Count As %
Computer Science 1 1%
Unknown 85 99%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 6. 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 06 May 2023.
All research outputs
#4,903,740
of 23,567,572 outputs
Outputs from ADS
#4,693
of 38,202 outputs
Outputs of similar age
#26,942
of 172,318 outputs
Outputs of similar age from ADS
#146
of 915 outputs
Altmetric has tracked 23,567,572 research outputs across all sources so far. Compared to these this one has done well and is in the 76th percentile: it's in the top 25% of all research outputs ever tracked by Altmetric.
So far Altmetric has tracked 38,202 research outputs from this source. They receive a mean Attention Score of 4.6. This one has done well, scoring higher than 81% 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 172,318 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 78% of its contemporaries.
We're also able to compare this research output to 915 others from the same source and published within six weeks on either side of this one. This one has done well, scoring higher than 77% of its contemporaries.