Structural Invariants
Abstract elided by the publisher.
Related papers
- Enforcing Structural Invariants Using Dynamic Frames TACAS 2011
- Static Detection of Loop-Invariant Data Structures ECOOP 2012
- Generating Representation Invariants of Structurally Complex Data TACAS 2007
- Shape Analysis with Structural Invariant Checkers SAS 2007
- The Automatic Detection of Token Structures and Invariants Using SAT Checking TACAS 2017
- Structural Invariants for the Verification of Systems with Parameterized Architectures TACAS 2020
- Verifying Reachability Invariants of Linked Structures POPL 1983
- Learning Universally Quantified Invariants of Linear Data Structures CAV 2013