↓ Skip to main content

Verification, Model Checking, and Abstract Interpretation

Overview of attention for book
Cover of 'Verification, Model Checking, and Abstract Interpretation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
  3. Altmetric Badge
    Chapter 2 Gradual Program Verification
  4. Altmetric Badge
    Chapter 3 Automatic Verification of RMA Programs via Abstraction Extrapolation
  5. Altmetric Badge
    Chapter 4 Scalable Approximation of Quantitative Information Flow in Programs
  6. Altmetric Badge
    Chapter 5 Code Obfuscation Against Abstract Model Checking Attacks
  7. Altmetric Badge
    Chapter 6 Abstract Code Injection
  8. Altmetric Badge
    Chapter 7 A Framework for Computer-Aided Design of Educational Domain Models
  9. Altmetric Badge
    Chapter 8 Automatic Verification of Intermittent Systems
  10. Altmetric Badge
    Chapter 9 On abstraction and compositionality for weak-memory linearisability
  11. Altmetric Badge
    Chapter 10 From Shapes to Amortized Complexity
  12. Altmetric Badge
    Chapter 11 Invariant Generation for Multi-Path Loops with Polynomial Assignments
  13. Altmetric Badge
    Chapter 12 Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
  14. Altmetric Badge
    Chapter 13 Refinement Types for Ruby
  15. Altmetric Badge
    Chapter 14 Modular Analysis of Executables Using On-Demand Heyting Completion
  16. Altmetric Badge
    Chapter 15 Learning to Complement Büchi Automata
  17. Altmetric Badge
    Chapter 16 $$P^5$$ : Planner-less Proofs of Probabilistic Parameterized Protocols
  18. Altmetric Badge
    Chapter 17 Co-Design and Verification of an Available File System
  19. Altmetric Badge
    Chapter 18 Abstraction-Based Interaction Model for Synthesis
  20. Altmetric Badge
    Chapter 19 Generating Tests by Example
  21. Altmetric Badge
    Chapter 20 A Logical System for Modular Information Flow Verification
  22. Altmetric Badge
    Chapter 21 On Constructivity of Galois Connections
  23. Altmetric Badge
    Chapter 22 Revisiting MITL to Fix Decision Procedures
  24. Altmetric Badge
    Chapter 23 Selfless Interpolation for Infinite-State Model Checking
  25. Altmetric Badge
    Chapter 24 An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
Attention for Chapter 11: Invariant Generation for Multi-Path Loops with Polynomial Assignments
Altmetric Badge

Mentioned by

twitter
2 X users

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
Invariant Generation for Multi-Path Loops with Polynomial Assignments
Chapter number 11
Book title
Verification, Model Checking, and Abstract Interpretation
Published in
arXiv, January 2018
DOI 10.1007/978-3-319-73721-8_11
Book ISBNs
978-3-31-973720-1, 978-3-31-973721-8
Authors

Andreas Humenberger, Maximilian Jaroschek, Laura Kovács, Humenberger, Andreas, Jaroschek, Maximilian, Kovács, Laura

Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

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.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.
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 %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 50%
Unknown 1 50%
Readers by discipline Count As %
Computer Science 1 50%
Unknown 1 50%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. 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 15 January 2018.
All research outputs
#18,833,474
of 24,002,307 outputs
Outputs from arXiv
#482,126
of 1,011,770 outputs
Outputs of similar age
#320,725
of 450,290 outputs
Outputs of similar age from arXiv
#14,705
of 21,916 outputs
Altmetric has tracked 24,002,307 research outputs across all sources so far. This one is in the 18th percentile – i.e., 18% of other outputs scored the same or lower than it.
So far Altmetric has tracked 1,011,770 research outputs from this source. They receive a mean Attention Score of 4.0. This one is in the 41st percentile – i.e., 41% of its peers scored the same or lower than it.
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 450,290 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 24th percentile – i.e., 24% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 21,916 others from the same source and published within six weeks on either side of this one. This one is in the 19th percentile – i.e., 19% of its contemporaries scored the same or lower than it.