The Octagon Abstract Domain

Cached

Download Links

by Antoine Mine
Citations:231 - 23 self

Documents Related by Co-Citation

1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
573 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
183 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
539 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
628 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
61 A new numerical abstract domain based on difference-bound matrices – Antoine Miné - 2001
62 Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library – Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill - 2002
108 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
192 Verification by abstract interpretation – Patrick Cousot - 2003
240 Abstract interpretation frameworks – Patrick Cousot, Radhia Cousot - 1992
163 Affine Relationships among Variables of a Program – M Karr - 1976
35 N.: Automatic discovery of linear constraints among variables of a program – P Cousot, Halbwachs - 1978
53 Relational abstract domains for the detection of floating-point run-time errors – Antoine Miné
48 Static analysis of arithmetic congruences – P Granger - 1989
112 TVLA: A System for Implementing Static Analyses – Tal Lev-Ami, Mooly Sagiv - 2000
33 Two Variables per Linear Inequality as an Abstract Domain – Axel Simon, Andy King, Jacob M. Howe - 2003