Property Checking via Structural Analysis
Abstract elided by the publisher.
Related papers
- Efficient software model checking of data structure properties OOPSLA 2006
- Bidirectional type checking for relational properties PLDI 2019
- Relational inductive shape analysis POPL 2008
- Property Checking Driven Abstract Interpretation-Based Static Analysis VMCAI 2003
- Parametric regular path queries PLDI 2004
- The YogiProject: Software Property Checking via Static Analysis and Testing TACAS 2009
- Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs CAV 2018
- Dynamic Dependency-Based Purity Checking SLE 2025