Array Abstractions from Proofs
Top Cited Papers
- 29 August 2007
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Using First-Order Theorem Provers in the Jahob Data Structure Verification SystemPublished by Springer Science and Business Media LLC ,2007
- Path invariantsPublished by Association for Computing Machinery (ACM) ,2007
- Formal Methods for Components and ObjectsPublished by Springer Science and Business Media LLC ,2007
- A Local Shape Analysis Based on Separation LogicLecture Notes in Computer Science, 2006
- Shape Analysis by Predicate AbstractionLecture Notes in Computer Science, 2005
- What’s Decidable About Arrays?Lecture Notes in Computer Science, 2005
- Predicate Abstraction with Minimum PredicatesLecture Notes in Computer Science, 2003
- Predicate abstraction for software verificationPublished by Association for Computing Machinery (ACM) ,2002
- The S LAM projectPublished by Association for Computing Machinery (ACM) ,2002
- Counterexample-Guided Abstraction RefinementLecture Notes in Computer Science, 2000