↓ Skip to main content

Static Analysis

Overview of attention for book
Cover of 'Static Analysis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Fairness: A Formal-Methods Perspective
  3. Altmetric Badge
    Chapter 2 The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software
  4. Altmetric Badge
    Chapter 3 Numerical Invariants via Abstract Machines
  5. Altmetric Badge
    Chapter 4 Deductive Verification in Decidable Fragments with Ivy
  6. Altmetric Badge
    Chapter 5 Experience Developing and Deploying Concurrency Analysis at Facebook
  7. Altmetric Badge
    Chapter 6 New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair
  8. Altmetric Badge
    Chapter 7 Interactive Verification of Distributed Protocols Using Decidable Logic
  9. Altmetric Badge
    Chapter 8 Abstract Interpretation of Stateful Networks
  10. Altmetric Badge
    Chapter 9 Block-Size Independence for GPU Programs
  11. Altmetric Badge
    Chapter 10 Extending Constraint-Only Representation of Polyhedra with Boolean Constraints
  12. Altmetric Badge
    Chapter 11 An Efficient Abstract Domain for Not Necessarily Closed Polyhedra
  13. Altmetric Badge
    Chapter 12 Modular Software Fault Isolation as Abstract Interpretation
  14. Altmetric Badge
    Chapter 13 Closing the Performance Gap Between Doubles and Rationals for Octagons
  15. Altmetric Badge
    Chapter 14 Verifying Properties of Differentiable Programs
  16. Altmetric Badge
    Chapter 15 A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis
  17. Altmetric Badge
    Chapter 16 Modular Static Analysis of String Manipulations in C Programs
  18. Altmetric Badge
    Chapter 17 Verifying Bounded Subset-Closed Hyperproperties
  19. Altmetric Badge
    Chapter 18 Process-Local Static Analysis of Synchronous Processes
  20. Altmetric Badge
    Chapter 19 The Impact of Program Transformations on Static Program Analysis
  21. Altmetric Badge
    Chapter 20 Efficiently Learning Safety Proofs from Appearance as well as Behaviours
  22. Altmetric Badge
    Chapter 21 Invertible Linear Transforms of Numerical Abstract Domains
  23. Altmetric Badge
    Chapter 22 Incremental Verification Using Trace Abstraction
  24. Altmetric Badge
    Chapter 23 Volume-Based Merge Heuristics for Disjunctive Numeric Domains
  25. Altmetric Badge
    Chapter 24 Abstract Interpretation of CTL Properties
  26. Altmetric Badge
    Chapter 25 Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

video
1 video uploader

Readers on

mendeley
1 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
Static Analysis
Published by
Springer International Publishing, November 2018
DOI 10.1007/978-3-319-99725-4
ISBNs
978-3-31-999724-7, 978-3-31-999725-4
Editors

Podelski, Andreas

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%