↓ 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 Synthesizing and Completely Testing Hardware Based on Templates Through Small Numbers of Test Patterns
  3. Altmetric Badge
    Chapter 2 Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations
  4. Altmetric Badge
    Chapter 3 Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
  5. Altmetric Badge
    Chapter 4 Parameter Synthesis for Markov Models: Faster Than Ever
  6. Altmetric Badge
    Chapter 5 Bounded Model Checking for Probabilistic Programs
  7. Altmetric Badge
    Chapter 6 How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?
  8. Altmetric Badge
    Chapter 7 Solving Language Equations Using Flanked Automata
  9. Altmetric Badge
    Chapter 8 Spot 2.0 — A Framework for LTL and \(\omega \)-Automata Manipulation
  10. Altmetric Badge
    Chapter 9 MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata
  11. Altmetric Badge
    Chapter 10 Synchronous Products of Rewrite Systems
  12. Altmetric Badge
    Chapter 11 Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents
  13. Altmetric Badge
    Chapter 12 Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs
  14. Altmetric Badge
    Chapter 13 Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems
  15. Altmetric Badge
    Chapter 14 On Finite Domains in First-Order Linear Temporal Logic
  16. Altmetric Badge
    Chapter 15 Decidability Results for Multi-objective Stochastic Games
  17. Altmetric Badge
    Chapter 16 A Decision Procedure for Separation Logic in SMT
  18. Altmetric Badge
    Chapter 17 Solving Mean-Payoff Games on the GPU
  19. Altmetric Badge
    Chapter 18 Synthesizing Skeletons for Reactive Systems
  20. Altmetric Badge
    Chapter 19 Observational Refinement and Merge for Disjunctive MTSs
  21. Altmetric Badge
    Chapter 20 Equivalence-Based Abstraction Refinement for $$\mu $$ HORS Model Checking
  22. Altmetric Badge
    Chapter 21 Greener Bits: Formal Analysis of Demand Response
  23. Altmetric Badge
    Chapter 22 Heuristics for Checking Liveness Properties with Partial Order Reductions
  24. Altmetric Badge
    Chapter 23 Partial-Order Reduction for GPU Model Checking
  25. Altmetric Badge
    Chapter 24 Efficient Verification of Program Fragments: Eager POR
  26. Altmetric Badge
    Chapter 25 Skolem Functions for DQBF
  27. Altmetric Badge
    Chapter 26 STL Model Checking of Continuous and Hybrid Systems
  28. Altmetric Badge
    Chapter 27 Clause Sharing and Partitioning for Cloud-Based SMT Solving
  29. Altmetric Badge
    Chapter 28 Symbolic Model Checking for Factored Probabilistic Models
  30. Altmetric Badge
    Chapter 29 A Sketching-Based Approach for Debugging Using Test Cases
  31. Altmetric Badge
    Chapter 30 Polynomial Invariants by Linear Algebra
  32. Altmetric Badge
    Chapter 31 Certified Symbolic Execution
  33. Altmetric Badge
    Chapter 32 Tighter Loop Bound Analysis
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

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

Mentioned by

twitter
2 X users
wikipedia
3 Wikipedia pages

Citations

dimensions_citation
3 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
Automated Technology for Verification and Analysis
Published by
Lecture notes in computer science, January 2016
DOI 10.1007/978-3-319-46520-3
ISBNs
978-3-31-946519-7, 978-3-31-946520-3
Editors

Cyrille Artho, Axel Legay, Doron Peled

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users 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 > Bachelor 1 20%
Unknown 4 80%
Readers by discipline Count As %
Computer Science 1 20%
Unknown 4 80%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 4. 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 December 2023.
All research outputs
#7,179,766
of 24,917,903 outputs
Outputs from Lecture notes in computer science
#2,157
of 8,148 outputs
Outputs of similar age
#108,111
of 405,162 outputs
Outputs of similar age from Lecture notes in computer science
#238
of 580 outputs
Altmetric has tracked 24,917,903 research outputs across all sources so far. This one has received more attention than most of these and is in the 69th percentile.
So far Altmetric has tracked 8,148 research outputs from this source. They typically receive a little more attention than average, with a mean Attention Score of 5.2. This one has gotten more attention than average, scoring higher than 72% 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 405,162 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 72% of its contemporaries.
We're also able to compare this research output to 580 others from the same source and published within six weeks on either side of this one. This one has gotten more attention than average, scoring higher than 58% of its contemporaries.