Understanding the Origin of Alarms in Astrée
Author:
- 1 January 2005
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 303-319
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- The ASTREÉ Analyzer2005
- Static Analysis of Digital Filters2004
- CONSIT: a fully automated conditioned program slicerSoftware: Practice and Experience, 2003
- From symptom to cause2003
- Automatic predicate abstraction of C programs2001
- Making abstract interpretations completeJournal of the ACM, 2000
- Counterexample-Guided Abstraction Refinement2000
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Improving the results of static analyses of programs by local decreasing iterations1992
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977