R
Radhia Cousot
Researcher at Centre national de la recherche scientifique
Publications - 68
Citations - 14500
Radhia Cousot is an academic researcher from Centre national de la recherche scientifique. The author has contributed to research in topics: Abstract interpretation & Static analysis. The author has an hindex of 30, co-authored 68 publications receiving 13958 citations. Previous affiliations of Radhia Cousot include École Polytechnique & École Normale Supérieure.
Papers
More filters
Proceedings ArticleDOI
Automatic synthesis of optimal invariant assertions: Mathematical foundations
Patrick Cousot,Radhia Cousot +1 more
TL;DR: This work establishes the lattice theoric foundations upon which the synthesis of invariant assertions is based and shows that an approximation of the optimal solution to a fixpoint system of equations can be obtained by strengthening the term of a chaotic iteration sequence.
The ASTR ´ EE Analyzer
TL;DR: ASTR´ EE is an abstract interpretation-based static program analyzer aiming at proving automatically the absence of run time errors in programs written in the C programming language.
Book ChapterDOI
Basic Concepts of Abstract Interpretation
Patrick Cousot,Radhia Cousot +1 more
TL;DR: A brief introduction to the theory of Abstract Interpretation, examplified by constructing a hierarchy of partial traces, reflexive transitive closure, reachable states and intervals abstract semantics of transition systems.
Proceedings ArticleDOI
Varieties of Static Analyzers: A Comparison with ASTREE
Patrick Cousot,Radhia Cousot,Jérôme Feret,Antoine Miné,Laurent Mauborgne,David Monniaux,Xavier Rival +6 more
TL;DR: The characteristic properties of ASTREE, an automatic static analyzer for proving the absence of runtime errors in safety-critical real-time synchronous control command C programs, are discussed and compared with a variety of other program analysis tools.