↓ 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 Interpolation and SAT-Based Model Checking
  3. Altmetric Badge
    Chapter 2 Bounded Model Checking and Induction: From Refutation to Verification
  4. Altmetric Badge
    Chapter 3 Reasoning with Temporal Logic on Truncated Paths
  5. Altmetric Badge
    Chapter 4 Structural Symbolic CTL Model Checking of Asynchronous Systems
  6. Altmetric Badge
    Chapter 5 A Work-Efficient Distributed Algorithm for Reachability Analysis
  7. Altmetric Badge
    Chapter 6 Modular Strategies for Infinite Games on Recursive Graphs
  8. Altmetric Badge
    Chapter 7 Fast Mu-Calculus Model Checking when Tree-Width Is Bounded
  9. Altmetric Badge
    Chapter 8 Dense Counter Machines and Verification Problems
  10. Altmetric Badge
    Chapter 9 TRIM: A Tool for Triggered Message Sequence Charts
  11. Altmetric Badge
    Chapter 10 Model Checking Multi-Agent Programs with CASP
  12. Altmetric Badge
    Chapter 11 Monitoring Temporal Rules Combined with Time Series
  13. Altmetric Badge
    Chapter 12 FAST: Fast Acceleration of Symbolic Transition Systems
  14. Altmetric Badge
    Chapter 13 Rabbit: A Tool for BDD-Based Verification of Real-Time Systems
  15. Altmetric Badge
    Chapter 14 Making Predicate Abstraction Efficient:
  16. Altmetric Badge
    Chapter 15 A Symbolic Approach to Predicate Abstraction
  17. Altmetric Badge
    Chapter 16 Unbounded, Fully Symbolic Model Checking of Timed Automata Using Boolean Methods
  18. Altmetric Badge
    Chapter 17 Digitizing Interval Duration Logic
  19. Altmetric Badge
    Chapter 18 Timed Control with Partial Observability
  20. Altmetric Badge
    Chapter 19 Hybrid Acceleration Using Real Vector Automata
  21. Altmetric Badge
    Chapter 20 Abstraction and BDDs Complement SAT-Based BMC in DiVer
  22. Altmetric Badge
    Chapter 21 TLQSolver: A Temporal Logic Query Checker
  23. Altmetric Badge
    Chapter 22 Evidence Explorer: A Tool for Exploring Model-Checking Proofs
  24. Altmetric Badge
    Chapter 23 HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols
  25. Altmetric Badge
    Chapter 24 Iterating Transducers in the Large
  26. Altmetric Badge
    Chapter 25 Algorithmic Improvements in Regular Model Checking
  27. Altmetric Badge
    Chapter 26 Efficient Image Computation in Infinite State Model Checking
  28. Altmetric Badge
    Chapter 27 Thread-Modular Abstraction Refinement
  29. Altmetric Badge
    Chapter 28 A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement
  30. Altmetric Badge
    Chapter 29 Abstraction for Branching Time Properties
  31. Altmetric Badge
    Chapter 30 Certifying Optimality of State Estimation Programs
  32. Altmetric Badge
    Chapter 31 Domain-Specific Optimization in Automata Learning
  33. Altmetric Badge
    Chapter 32 Model Checking Conformance with Scenario-Based Specifications
  34. Altmetric Badge
    Chapter 33 Deductive Verification of Advanced Out-of-Order Microprocessors
  35. Altmetric Badge
    Chapter 34 Theorem Proving Using Lazy Proof Explication
  36. Altmetric Badge
    Chapter 35 Enhanced Vacuity Detection in Linear Temporal Logic
  37. Altmetric Badge
    Chapter 36 Bridging the Gap between Fair Simulation and Trace Inclusion
  38. Altmetric Badge
    Chapter 37 An Improved On-the-Fly Tableau Construction for a Real-Time Temporal Logic
  39. Altmetric Badge
    Chapter 38 Strengthening Invariants by Symbolic Consistency Testing
  40. Altmetric Badge
    Chapter 39 Linear Invariant Generation Using Non-linear Constraint Solving
  41. Altmetric Badge
    Chapter 40 To Store or Not to Store
  42. Altmetric Badge
    Chapter 41 Calculating τ-Confluence Compositionally
Attention for Chapter 17: Digitizing Interval Duration Logic
Altmetric Badge

About this Attention Score

  • Average Attention Score compared to outputs of the same age and source

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
2 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
Digitizing Interval Duration Logic
Chapter number 17
Book title
Computer Aided Verification
Published in
Lecture notes in computer science, January 2003
DOI 10.1007/978-3-540-45069-6_17
Book ISBNs
978-3-54-040524-5, 978-3-54-045069-6
Authors

Gaurav Chakravorty, Paritosh K. Pandya

Editors

Warren A. Hunt Jr., Fabio Somenzi

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
India 1 50%
Unknown 1 50%

Demographic breakdown

Readers by professional status Count As %
Professor 1 50%
Lecturer > Senior Lecturer 1 50%
Readers by discipline Count As %
Computer Science 2 100%
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 11 June 2016.
All research outputs
#7,484,429
of 22,876,619 outputs
Outputs from Lecture notes in computer science
#2,487
of 8,130 outputs
Outputs of similar age
#31,561
of 129,344 outputs
Outputs of similar age from Lecture notes in computer science
#41
of 91 outputs
Altmetric has tracked 22,876,619 research outputs across all sources so far. This one is in the 44th percentile – i.e., 44% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,130 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 54% 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 129,344 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 17th percentile – i.e., 17% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 91 others from the same source and published within six weeks on either side of this one. This one is in the 35th percentile – i.e., 35% of its contemporaries scored the same or lower than it.