↓ Skip to main content

Automated Technology for Verification and Analysis

Overview of attention for book
Cover of 'Automated Technology for Verification and Analysis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Games for Formal Design and Verification of Reactive Systems
  3. Altmetric Badge
    Chapter 2 Evolution of Model Checking into the EDA Industry
  4. Altmetric Badge
    Chapter 3 Abstraction Refinement
  5. Altmetric Badge
    Chapter 4 Tools for Automated Verification of Web Services
  6. Altmetric Badge
    Chapter 5 Theorem Proving Languages for Verification
  7. Altmetric Badge
    Chapter 6 An Automated Rigorous Review Method for Verifying and Validating Formal Specifications
  8. Altmetric Badge
    Chapter 7 Toward Unbounded Model Checking for Region Automata
  9. Altmetric Badge
    Chapter 8 Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity
  10. Altmetric Badge
    Chapter 9 Synthesising Attacks on Cryptographic Protocols
  11. Altmetric Badge
    Chapter 10 Büchi Complementation Made Tighter
  12. Altmetric Badge
    Chapter 11 SAT-Based Verification of Safe Petri Nets
  13. Altmetric Badge
    Chapter 12 Disjunctive Invariants for Numerical Systems
  14. Altmetric Badge
    Chapter 13 Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas
  15. Altmetric Badge
    Chapter 14 Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts
  16. Altmetric Badge
    Chapter 15 Exploiting Symmetries for Testing Equivalence in the Spi Calculus
  17. Altmetric Badge
    Chapter 16 Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
  18. Altmetric Badge
    Chapter 17 Abstraction-Based Model Checking Using Heuristical Refinement
  19. Altmetric Badge
    Chapter 18 A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata
  20. Altmetric Badge
    Chapter 19 Design and Evaluation of a Symbolic and Abstraction-Based Model Checker
  21. Altmetric Badge
    Chapter 20 Component-Wise Instruction-Cache Behavior Prediction
  22. Altmetric Badge
    Chapter 21 Validating the Translation of an Industrial Optimizing Compiler
  23. Altmetric Badge
    Chapter 22 Composition of Accelerations to Verify Infinite Heterogeneous Systems
  24. Altmetric Badge
    Chapter 23 Hybrid System Verification Is Not a Sinecure
  25. Altmetric Badge
    Chapter 24 Providing Automated Verification in HOL Using MDGs
  26. Altmetric Badge
    Chapter 25 Specification, Abduction, and Proof
  27. Altmetric Badge
    Chapter 26 Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets
  28. Altmetric Badge
    Chapter 27 Typeness for ω-Regular Automata
  29. Altmetric Badge
    Chapter 28 Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits
  30. Altmetric Badge
    Chapter 29 Mutation Coverage Estimation for Model Checking
  31. Altmetric Badge
    Chapter 30 Modular Model Checking of Software Specifications with Simultaneous Environment Generation
  32. Altmetric Badge
    Chapter 31 Rabin Tree and Its Application to Group Key Distribution
  33. Altmetric Badge
    Chapter 32 Using Overlay Networks to Improve VoIP Reliability
  34. Altmetric Badge
    Chapter 33 Integrity-Enhanced Verification Scheme for Software-Intensive Organizations
  35. Altmetric Badge
    Chapter 34 RCGES: Retargetable Code Generation for Embedded Systems
  36. Altmetric Badge
    Chapter 35 Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets
  37. Altmetric Badge
    Chapter 36 First-Order LTL Model Checking Using MDGs
  38. Altmetric Badge
    Chapter 37 Localizing Errors in Counterexample with Iteratively Witness Searching
  39. Altmetric Badge
    Chapter 38 Verification of WCDMA Protocols and Implementation
  40. Altmetric Badge
    Chapter 39 Efficient Representation of Algebraic Expressions
  41. Altmetric Badge
    Chapter 40 Development of RTOS for PLC Using Formal Methods
  42. Altmetric Badge
    Chapter 41 Reducing Parametric Automata: A Multimedia Protocol Service Case Study
  43. Altmetric Badge
    Chapter 42 Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems
  44. Altmetric Badge
    Chapter 43 Solving Box-Pushing Games via Model Checking with Optimizations
  45. Altmetric Badge
    Chapter 44 CLP Based Static Property Checking
  46. Altmetric Badge
    Chapter 45 A Temporal Assertion Extension to Verilog
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

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

Mentioned by

patent
2 patents

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
74 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
Automated Technology for Verification and Analysis
Published by
Lecture notes in computer science, January 2004
DOI 10.1007/b102065
ISBNs
978-3-54-023610-8, 978-3-54-030476-0
Authors

[email protected], Billington, Jonathon, Liu, Lin

Editors

Farn Wang

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Iran, Islamic Republic of 1 1%
Vietnam 1 1%
Unknown 72 97%

Demographic breakdown

Readers by professional status Count As %
Student > Master 6 8%
Student > Ph. D. Student 6 8%
Student > Postgraduate 4 5%
Student > Bachelor 3 4%
Researcher 2 3%
Other 3 4%
Unknown 50 68%
Readers by discipline Count As %
Computer Science 19 26%
Engineering 3 4%
Business, Management and Accounting 1 1%
Unknown 51 69%
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 21 August 2018.
All research outputs
#7,490,851
of 22,896,955 outputs
Outputs from Lecture notes in computer science
#2,487
of 8,129 outputs
Outputs of similar age
#33,520
of 133,420 outputs
Outputs of similar age from Lecture notes in computer science
#50
of 115 outputs
Altmetric has tracked 22,896,955 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,129 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 133,420 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 115 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.