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; ESC/Java; Caduceus; Why3; KRAKATOA; Aspic; VINAS-P; CSSV; VeriFast; FunArray; jStar; VeriCool; JACK; Boogie; Pex; Houdini; Cyclone; VCC Cited in: 59 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year The octagon abstract domain. Zbl 1105.68069Miné, 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 all top 5 Cited in 12 Serials 2 Formal Methods in System Design 2 Logical Methods in Computer Science 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Computational Geometry 1 MSCS. Mathematical Structures in Computer Science 1 Journal of the ACM 1 Higher-Order and Symbolic Computation 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming 1 Computer Languages, Systems & Structures 1 Journal of Satisfiability, Boolean Modeling and Computation all top 5 Cited in 7 Fields 58 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 5 Operations research, mathematical programming (90-XX) 3 Convex and discrete geometry (52-XX) 3 Numerical analysis (65-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Citations by Year