The ASTREÉ Analyzer
Top Cited Papers
- 1 January 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- AstrÉe: Verification of Absence of Runtime ErrorPublished by Springer Nature ,2008
- A Tool for Checking ANSI-C ProgramsPublished by Springer Nature ,2004
- Static Analysis of Digital FiltersPublished by Springer Nature ,2004
- Relational Abstract Domains for the Detection of Floating-Point Run-Time ErrorsPublished by Springer Nature ,2004
- A static analyzer for large safety-critical softwarePublished by Association for Computing Machinery (ACM) ,2003
- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded SoftwarePublished by Springer Nature ,2002
- A New Numerical Abstract Domain Based on Difference-Bound MatricesPublished by Springer Nature ,2001
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977