The Octagon Abstract Domain

Cached

Download Links

by Antoine Mine
Citations:245 - 23 self

Documents Related by Co-Citation

1889 R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points – P Cousot, Cousot - 1977
575 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
181 A Static Analyzer for Large Safety-Critical Software – Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jerome Feret, Laurent Mauborgne, Antoine Mine, David Monniaux, Xavier Rival - 2003
92 Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, invited chapter. – Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jerome Feret, Laurent Mauborgne, Antoine Mine, David Monniaux & Xavier Rival, David Monniaux - 2002
540 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
29 Numeric Domains with Summarized Dimensions – Denis Gopan, Frank DiMaio, Nurit Dor, Thomas Reps, Mooly Sagiv - 2004
636 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
62 A new numerical abstract domain based on difference-bound matrices – Antoine Miné - 2001
63 Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library – Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill - 2002
110 Verification of Real-Time Systems using Linear Relation Analysis – Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff - 1997
51 Static analysis of digital filters – J Feret - 2004
195 Verification by abstract interpretation – Patrick Cousot - 2003
238 Abstract interpretation frameworks – Patrick Cousot, Radhia Cousot - 1992
160 Affine Relationships Among Variables of a Program – M Karr - 1976
35 Automatic discovery of linear constraints among variables of a program – P Cousot, N Halbwachs - 1978
52 Relational abstract domains for the detection of floating-point run-time errors – Antoine Miné
49 Static Analysis of Arithmetical Congruences – Philippe Granger - 1989
35 Two Variables per Linear Inequality as an Abstract Domain – Axel Simon, Andy King, Jacob M. Howe - 2003
112 TVLA: A System for Implementing Static Analyses – Tal Lev-Ami, Mooly Sagiv - 2000