Apron swMATH ID: 45 Software Authors: Jeannet, Bertrand; Miné, Antoine Description: Apron: a library of numerical abstract domains for static analysis. This article describes Apron, a freely available library dedicated to the static analysis of the numerical variables of programs by abstract interpretation. Its goal is threefold: provide analysis implementers with ready-to-use numerical abstractions under a unified API, encourage the research in numerical abstract domains by providing a platform for integration and comparison, and provide teaching and demonstration tools to disseminate knowledge on abstract interpretation. Homepage: http://apron.cri.ensmp.fr/library/0.9.10/apron.pdf Related Software: ASTREE; PPL; z3; Octagon; Interproc; OCaml; Coq; PAGAI; HyTech; Dagger; SMT-LIB; HOL Light; polymake; Soot; PRISM; FAST; Aspic; CVC4; CBMC; MathSAT5 Cited in: 71 Publications all top 5 Cited by 134 Authors 9 Miné, Antoine 5 Chen, Liqian 5 Wang, Ji 4 Cousot, Patrick 4 Le Gall, Tristan 3 Amato, Gianluca 3 Bereslavskiĭ, E. N. 3 Goubault, Eric 3 Maréchal, Alexandre 3 Monniaux, David P. 3 Périn, Michael 3 Putot, Sylvie 3 Vechev, Martin T. 2 Allamigeon, Xavier 2 D’silva, Vijay 2 Giesl, Jürgen 2 Kalyon, Gabriel 2 Katz, Ricardo David 2 King, Andy 2 Marchand, Hervé 2 Massart, Thierry Jacques 2 Parton, Maurizio 2 Rival, Xavier 2 Sankaranarayanan, Sriram 2 Scozzari, Francesca 2 Strub, Pierre-Yves 2 Urban, Caterina 2 Wu, Xueguang 2 Yahav, Eran 2 Zaffanella, Enea 1 Abbasi, Rosa 1 Ahrendt, Wolfgang 1 Amjad, Hasan 1 André, Étienne 1 Balakrishnan, Gogul 1 Bastrakov, Sergeĭ Ivanovich 1 Becchi, Anna 1 Bornat, Richard 1 Botbol, Vincent 1 Bouajjani, Ahmed 1 Bouissou, Olivier 1 Boutonnet, Rémy 1 Brabrand, Claus 1 Brain, Martin 1 Brockschmidt, Marc 1 Chailloux, Emmanuel 1 Chakraborty, Supratik 1 Chang, Bor-Yuh Evan 1 Chapoutot, Alexandre 1 Chawdhary, Aziem 1 Chew, Kim Lin 1 Cohen, Albert 1 Colón, Michael A. 1 Cousot, Radhia 1 Cox, Arlen 1 Dan, Andrei Marian 1 Darulova, Eva 1 Dey, Subhasish 1 Dimovski, Aleksandar S. 1 Donaldson, Alastair F. 1 Dragoi, Cezara 1 Duan, Hongdong 1 Enea, Constantin 1 Fähndrich, Manuel 1 Feret, Jérôme 1 Fouilhé, Alexis 1 Fribourg, Laurent 1 Frohn, Florian 1 Ghorbal, Khalil 1 Griggio, Alberto 1 Gulavani, Bhargav S. 1 Gupta, Aarti 1 Halbwachs, Nicolas 1 Haller, Leopold 1 Hark, Marcel 1 Hensel, Jera 1 Heo, Kihong 1 Howe, Jacob M. 1 Ilyinsky, N. B. 1 Ivančić, Franjo 1 Jeannet, Bertrand 1 Jiang, Jiahong 1 Kacimov, Anvar R. 1 Khizgiyaev, S. V. 1 King, Tim 1 Köpf, Boris 1 Křena, Bohuslav 1 Kröning, Daniel 1 Le Guen, Julien 1 Lee, Wonchan 1 Lee, Woosuk 1 Liu, Jiangchao 1 Liu, Shihe 1 Logozzo, Francesco 1 Lu, Jing 1 Maeda, Naoto 1 Magron, Victor 1 Masoumi, G. 1 Matveev, V. V. 1 Mauborgne, Laurent ...and 34 more Authors all top 5 Cited in 21 Serials 7 Formal Methods in System Design 3 Computer Languages, Systems & Structures 2 Journal of Symbolic Computation 2 Discrete Event Dynamic Systems 1 Fluid Dynamics 1 International Journal of General Systems 1 Journal of Fluid Mechanics 1 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) 1 Prikladnaya Matematika i Mekhanika 1 ACM Transactions on Mathematical Software 1 Journal of the Operational Research Society 1 Theoretical Computer Science 1 Information and Computation 1 Formal Aspects of Computing 1 Journal of Hydrodynamics. Ser. B 1 Dopovidi Akademiï Nauk Ukraïni 1 Computational and Applied Mathematics 1 Higher-Order and Symbolic Computation 1 Iranian Journal of Science and Technology. Transaction B: Engineering 1 Advanced Modeling and Optimization 1 Logical Methods in Computer Science all top 5 Cited in 14 Fields 54 Computer science (68-XX) 11 Operations research, mathematical programming (90-XX) 6 Fluid mechanics (76-XX) 5 Convex and discrete geometry (52-XX) 5 Numerical analysis (65-XX) 2 Mathematical logic and foundations (03-XX) 2 Geophysics (86-XX) 2 Systems theory; control (93-XX) 1 Combinatorics (05-XX) 1 Partial differential equations (35-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Mechanics of particles and systems (70-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year