The ASTREÉ Analyzer
Authors:
Top Cited Papers
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 21-30
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- The Arithmetic-Geometric Progression Abstract Domain2005
- A Tool for Checking ANSI-C Programs2004
- Static Analysis of Digital Filters2004
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors2004
- A static analyzer for large safety-critical software2003
- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software2002
- A New Numerical Abstract Domain Based on Difference-Bound Matrices2001
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Systematic design of program analysis frameworks1979
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977