Invisible Invariants and Abstract Interpretation
No abstract available.
Related papers
- Automatic Deductive Verification with Invisible Invariants TACAS 2001
- IIV: An Invisible Invariant Verifier CAV 2005
- How to Make Destructive Updates Less Destructive POPL 1991
- Parameterized verification of transactional memories PLDI 2010
- Error Invariants for Fault Localization via Abstract Interpretation SAS 2023
- An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants SAS 2004
- Static and Dynamic Partitioning of Pointers as Links and Threads ICFP 1996
- Goal-directed weakening of abstract interpretation results TOPLAS 2007