↓ 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
Attention for Chapter 2: The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software
Altmetric Badge

Mentioned by

video
1 YouTube creator

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
18 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
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software
Chapter number 2
Book title
Static Analysis
Published by
Springer, Cham, August 2018
DOI 10.1007/978-3-319-99725-4_2
Book ISBNs
978-3-31-999724-7, 978-3-31-999725-4
Authors

Roberto Bagnara, Abramo Bagnara, Patricia M. Hill, Bagnara, Roberto, Bagnara, Abramo, Hill, Patricia M.

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 18 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 3 17%
Student > Ph. D. Student 3 17%
Professor 2 11%
Lecturer 1 6%
Lecturer > Senior Lecturer 1 6%
Other 3 17%
Unknown 5 28%
Readers by discipline Count As %
Computer Science 5 28%
Engineering 3 17%
Agricultural and Biological Sciences 1 6%
Energy 1 6%
Psychology 1 6%
Other 0 0%
Unknown 7 39%