The Octagon Abstract Domain

Cached

Download Links

by Antoine Mine
Citations:231 - 23 self

Active Bibliography

3 Verification of Embedded Software: Problems and Perspectives – Patrick Cousot, Radhia Cousot - 2001
28 Abstract interpretation based formal methods and future challenges, invited paper – Patrick Cousot - 2001
1 Temporal Property-driven Verification by Abstract Interpretation – Damien Massé - 2002
8 Widening operators for weakly-relational numeric abstractions – Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella - 2005
10 On abstraction in software verification – Patrick Cousot, Radhia Cousot - 2002
MINES ParisTech – Spécialité Informatique, Ramakrishna Upadrasta, Président Prof, Florent Hivert, Université Paris-sud, Prof François Irigoin, Prof Christian Lengauer, Universität Passau, Prof Cédric Bastoul, Prof Sanjay Rajopadhye, Université Paris-sud - 2013
ACM Workshop on Strategic Directions in Computing Research – Mit Laboratory, Patrick Cousot
3 Program Analysis Position Statement: The Abstract Interpretation Perspective – P. Cousot - 1996
20 A few graph-based relational numerical abstract domains – Antoine Miné - 2002
34 Refining Model Checking by Abstract Interpretation – Patrick Cousot, Radhia Cousot - 1999
16 A Scalable Nonuniform Pointer Analysis for Embedded Programs – Arnaud Venet
16 Static Analysis and Verification of Aerospace Software by Abstract Interpretation – Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival - 2010
61 A new numerical abstract domain based on difference-bound matrices – Antoine Miné - 2001
and Reasoning about Programs, Semantics of Programming Languages General Terms – Patrick Cousot, Reliability Languages Verification
A parametric segmentation . . . – Patrick Cousot, Radhia Cousot, Francesco Logozzo - 2011
A parametric segmentation functor for fully . . . – Patrick Cousot, Radhia Cousot, Francesco Logozzo - 2011
13 ASTRÉE: Verification of absence of run-time error – Laurent Mauborgne - 2004
21 A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings – Zhendong Su, David Wagner - 2004
26 Modular Static Program Analysis – Patrick Cousot, Radhia Cousot - 2002