Lazy Shape Analysis
Authors:
Open Access
- 1 January 2006
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 532-546
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Logical characterizations of heap abstractionsACM Transactions on Computational Logic, 2007
- Counterexample Driven Refinement for Abstract Interpretation2006
- Abstraction Refinement via Inductive LearningLecture Notes in Computer Science, 2005
- Shape Analysis by Predicate Abstraction2005
- Modular verification of software components in CIEEE Transactions on Software Engineering, 2004
- Interpolation and SAT-Based Model Checking2003
- Shape Analysis through Predicate Abstraction and Model Checking2002
- Parametric shape analysis via 3-valued logicACM Transactions on Programming Languages and Systems, 2002
- Counterexample-Guided Abstraction Refinement2000
- TVLA: A System for Implementing Static Analyses2000