↓ Skip to main content
What is this page? Embed badge

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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
Summary X
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
Verification, Model Checking, and Abstract Interpretation
Published by
Springer International Publishing, January 2018
DOI 10.1007/978-3-319-73721-8
ISBNs
978-3-31-973720-1, 978-3-31-973721-8
Editors

Dillig, Isil, Palsberg, Jens

View on publisher site
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.

This page is provided by Altmetric.