Shape Analysis through Predicate Abstraction and Model Checking
Abstract elided by the publisher.
Related papers
- Shape Analysis by Predicate Abstraction VMCAI 2005
- Predicate Abstraction for Linked Data Structures VMCAI 2016
- Shape Analysis via Second-Order Bi-Abduction CAV 2014
- Shape analysis with inductive recursion synthesis PLDI 2007
- Polymorphic predicate abstraction TOPLAS 2005
- Parametric shape analysis via 3-valued logic TOPLAS 2002
- Automated Verification of Shape and Size Properties Via Separation Logic VMCAI 2007
- Fine-grained interoperability through mirrors and contracts OOPSLA 2005