Shape Analysis by Predicate Abstraction
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Shape Analysis through Predicate Abstraction and Model CheckingLecture Notes in Computer Science, 2002
- Successive approximation of abstract transition relationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Relative Completeness of Abstraction Refinement for Software Model CheckingLecture Notes in Computer Science, 2002
- Predicate abstraction for software verificationPublished by Association for Computing Machinery (ACM) ,2002
- Parameterized Verification with Automatically Computed Inductive Assertions?Lecture Notes in Computer Science, 2001
- Automatically validating temporal safety properties of interfacesLecture Notes in Computer Science, 2001
- Counterexample-Guided Abstraction RefinementLecture Notes in Computer Science, 2000
- A Decidable Logic for Describing Linked Data StructuresLecture Notes in Computer Science, 1999
- Experience with Predicate AbstractionLecture Notes in Computer Science, 1999
- A platform for combining deductive with algorithmic verificationLecture Notes in Computer Science, 1996