Cited in
(40)- scientific article; zbMATH DE number 2087548 (Why is no real title available?)
- Computer Aided Verification
- Loop summarization using state and transition invariants
- Thread Quantification for Concurrent Shape Analysis
- scientific article; zbMATH DE number 1953039 (Why is no real title available?)
- Back to the future, revisiting precise program verification using SMT solvers
- Automatic inference of access permissions
- A generic framework for heap and value analyses of object-oriented programming languages
- Bounded quantifier instantiation for checking inductive invariants
- On the almighty wand
- Heap Decomposition for Concurrent Shape Analysis
- Scalable Shape Analysis for Systems Code
- Verifying Heap-Manipulating Programs in an SMT Framework
- Finding Concurrency-Related Bugs Using Random Isolation
- Verify heaps via unified model checking
- Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding
- Translating Java for multiple model checkers: The Bandera back-end
- scientific article; zbMATH DE number 1693492 (Why is no real title available?)
- Beyond Shapes: Lists with Ordered Data
- A Reachability Predicate for Analyzing Low-Level Software
- A logic of reachable patterns in linked data-structures
- Shape Analysis for Composite Data Structures
- Static Analysis
- SyncGen
- Consit
- SPEED
- GENA
- FixBag
- CSSV
- VeriCon
- MemCAD
- Cibai
- A Shape Analysis for Non-linear Data Structures
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
- scientific article; zbMATH DE number 1956566 (Why is no real title available?)
- Semantic-directed clumping of disjunctive abstract states
- Local higher-order fixpoint iteration
- Reasoning about sequences of memory states
- scientific article; zbMATH DE number 7455743 (Why is no real title available?)
- Programming Languages and Systems
This page was built for software: TVLA
