Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
No abstract available.
DOI 10.1007/978-3-642-39038-8_19
Related papers
- Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution CAV 2016
- Modular Termination Verification ECOOP 2015
- Program verification using templates over predicate abstraction PLDI 2009
- Logical Reasoning for Disjoint Permissions ESOP 2018
- Concurrent Abstract Predicates ECOOP 2010
- Predicate Abstraction for Linked Data Structures VMCAI 2016
- Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic TOPLAS 2016
- Implicit dynamic frames TOPLAS 2012