A Complete Abstract Interpretation Framework for Coverability Properties of WSTS
Abstract elided by the publisher.
Related papers
- Resilience and Home-Space for WSTS VMCAI 2024
- Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation POPL 2024
- Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis POPL 2022
- A Logical Model for Relational Abstract Domains TOPLAS 1998
- Logics for Extensional, Locally Complete Analysis via Domain Refinements ESOP 2023
- More Precise Yet Efficient Type Inference for Logic Programs SAS 2002
- Abstract extensionality: on the properties of incomplete abstract interpretations POPL 2020
- Covering All the Bases: Type-Based Verification of Test Input Generators PLDI 2023