Program Analysis as Model Checking of Abstract Interpretations
Abstract elided by the publisher.
Related papers
- Data Flow Analysis is Model Checking of Abstract Interpretations POPL 1998
- Property Checking Driven Abstract Interpretation-Based Static Analysis VMCAI 2003
- States vs. Traces in Model Checking by Abstract Interpretation SAS 2002
- Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode VMCAI 2002
- Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints POPL 1977
- Temporal Abstract Interpretation POPL 2000
- A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios GPCE 2025
- Fast and exact analysis for LRU caches POPL 2019