Guided Static Analysis
Authors:
- 21 August 2007
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 349-365
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Efficient chaotic iteration strategies with widenings2006
- Lookahead WideningLecture Notes in Computer Science, 2006
- Combining Widening and Acceleration in Linear Relation AnalysisLecture Notes in Computer Science, 2006
- DART2005
- Proof-guided underapproximation-widening for multi-process systems2005
- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software2002
- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library2002
- ESP2002
- Lazy abstraction2002
- Systematic design of program analysis frameworks1979