×

Octagon

swMATH ID: 13702
Software Authors: Miné, A.
Description: The Octagon Abstract Domain Library is a free library for manipulating special kinds of polyhedra called octagons that correspond to sets of constraints of the form ±x ±y ≤ c (so, in dimension two, these polyhedra have at most eight faces). This library is targeted at static analysis by abstract interpretation (look for a short introduction on abstract interpretation on my PhD. advisor page). The theoretical work behind this library was done during my DEA and PhD. Thesis The main publication is an article entitled The Octagon Abstract Domain. This library is a work in progress. It is used internally by the author, and is publicly available in the hope it can be useful to someone else, but without of any warranty. Moreover, this library is intended for academic use only. Commercial use of the library is not possible without the explicit authorization of the author.
Homepage: https://www-apr.lip6.fr/~mine/oct/
Related Software: ASTREE; Apron; PPL; Why3; ESC/Java; Caduceus; KRAKATOA; Aspic; VINAS-P; CSSV; Uppaal; Algorithm 97; Kronos; BOXES; GLPK; jStar; JACK; FunArray; VeriFast; VeriCool
Cited in: 59 Documents

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
The octagon abstract domain. Zbl 1105.68069
Miné, Antoine
2006
all top 5

Cited by 106 Authors

8 Miné, Antoine
4 Jeannet, Bertrand
4 Monniaux, David P.
3 Bagnara, Roberto
3 Goubault, Eric
3 Hill, Patricia M.
3 King, Andy
3 Sankaranarayanan, Sriram
3 Simon, Axel
3 Zaffanella, Enea
2 Cousot, Patrick
2 Gaubert, Stéphane
2 Gawlitza, Thomas Martin
2 Gupta, Aarti
2 Ivančić, Franjo
2 Manna, Zohar
2 Mauborgne, Laurent
2 Rival, Xavier
1 Allamigeon, Xavier
1 Balakrishnan, Gogul
1 Banerjee, Anindya
1 Benhamou, Frédéric
1 Besson, Frédéric
1 Bozga, Marius
1 Bradley, Aaron R.
1 Brauer, Jörg
1 Bryant, Randal E.
1 Bygde, Stefan
1 Chapoutot, Alexandre
1 Chen, Liqian
1 Clarisó, Robert
1 Cortadella, Jordi
1 Costan, Alexandru
1 Cousot, Radhia
1 Dalla Preda, Mila
1 De Bosschere, Koen
1 Denmat, Tristan
1 Ducassé, Mireille
1 Fähndrich, Manuel
1 Fahrenberg, Uli
1 Ferrara, Pietro
1 Gange, Graeme
1 Garoche, Pierre-Loïc
1 Ghorbal, Khalil
1 Giacobazzi, Roberto
1 Gotlieb, Arnaud
1 Gulwani, Sumit
1 Halbwachs, Nicolas
1 Helmstetter, C. E.
1 Heo, Kihong
1 Holsti, Niklas
1 Howe, Jacob M.
1 Iosif, Radu
1 Ko, Yoonseok
1 Konečný, Filip
1 Larsen, Kim Guldstrand
1 Lisper, Björn
1 Loginov, Alexey
1 Logozzo, Francesco
1 Lu, Lunjin
1 Lu, Qi
1 Madou, Matias
1 Madsen, Michael
1 Maeda, Naoto
1 Maillet-Contoz, L.
1 Maraninchi, Florence
1 Marché, Claude
1 Martel, Matthieu
1 Massé, Damien
1 Mastroeni, Isabella
1 Mazzi, Elena
1 Milata, Martin
1 Moy, Yannick
1 Oh, Hakjoo
1 Pelleau, Marie
1 Péron, Mathias
1 Pichardie, David
1 Putot, Sylvie
1 Raman, Raghavan
1 Ravn, Søren Hove
1 Reps, Thomas W.
1 Revesz, Peter Z.
1 Roux, Pierre
1 Sagiv, Mooly
1 Sarkar, Vivek
1 Schachte, Peter
1 Schmidt, David A.
1 Schrammel, Peter
1 Seidl, Helmut
1 Serwe, Wendelin
1 Seshia, Sanjit Arunkumar
1 Sipma, Henny B.
1 Søndergaard, Harald
1 Sotin, Pascal
1 Stuckey, Peter James
1 Subramani, Krishnan
1 Taly, Ankur
1 Tiwari, Ashish Kumar
1 Truchet, Charlotte
1 Urban, Caterina
...and 6 more Authors

Citations by Year