The following pages link to TVLA (Q21857):
Displaying 31 items.
- A generic framework for heap and value analyses of object-oriented programming languages (Q278744) (← links)
- On the almighty wand (Q418137) (← links)
- Reasoning about sequences of memory states (Q636268) (← links)
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- Verify heaps via unified model checking (Q1986561) (← links)
- Local higher-order fixpoint iteration (Q2105477) (← links)
- Loop summarization using state and transition invariants (Q2248058) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- (Q2764069) (← links)
- Automatic Inference of Access Permissions (Q2891412) (← links)
- Back to the future (Q3189836) (← links)
- Bounded Quantifier Instantiation for Checking Inductive Invariants (Q3303891) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- Scalable Shape Analysis for Systems Code (Q3512506) (← links)
- Thread Quantification for Concurrent Shape Analysis (Q3512507) (← links)
- Heap Decomposition for Concurrent Shape Analysis (Q3522083) (← links)
- Finding Concurrency-Related Bugs Using Random Isolation (Q3600476) (← links)
- Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding (Q3613387) (← links)
- Beyond Shapes: Lists with Ordered Data (Q3617745) (← links)
- (Q4414398) (← links)
- (Q4417906) (← links)
- (Q4738358) (← links)
- A Shape Analysis for Non-linear Data Structures (Q4930728) (← links)
- (Q5021005) (← links)
- Semantic-directed clumping of disjunctive abstract states (Q5370844) (← links)
- Shape Analysis for Composite Data Structures (Q5429321) (← links)
- Programming Languages and Systems (Q5493397) (← links)
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs (Q5504599) (← links)
- Computer Aided Verification (Q5716594) (← links)
- A Reachability Predicate for Analyzing Low-Level Software (Q5758100) (← links)
- Static Analysis (Q5897439) (← links)
