Understanding the Origin of Alarms in Astrée
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 303-319
- https://doi.org/10.1007/11547662_21
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- The ASTREÉ AnalyzerPublished by Springer Nature ,2005
- Static Analysis of Digital FiltersPublished by Springer Nature ,2004
- CONSIT: a fully automated conditioned program slicerSoftware: Practice and Experience, 2003
- From symptom to causePublished by Association for Computing Machinery (ACM) ,2003
- Automatic predicate abstraction of C programsPublished by Association for Computing Machinery (ACM) ,2001
- Making abstract interpretations completeJournal of the ACM, 2000
- Counterexample-Guided Abstraction RefinementPublished by Springer Nature ,2000
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Improving the results of static analyses of programs by local decreasing iterationsPublished by Springer Nature ,1992
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977