ASTREE swMATH ID: 13704 Software Authors: Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival Description: The ASTREÉ Analyzer. ASTRÉE is an abstract interpretation-based static program analyzer aiming at proving automatically the absence of run time errors in programs written in the C programming language. It has been applied with success to large embedded control-command safety critical real-time software generated automatically from synchronous specifications, producing a correctness proof for complex software without any false alarm in a few hours of computation. Homepage: http://www.astree.ens.fr/ Related Software: Apron; PPL; z3; Coq; Octagon; BLAST; Why3; Aspic; FunArray; CBMC; Caduceus; KRAKATOA; CSSV; ESC/Java; Eiffel; HyTech; Gappa; SLAM; SPIN; Boogie Cited in: 108 Publications Standard Articles 3 Publications describing the Software, including 3 Publications in zbMATH Year Why does Astrée scale up? Zbl 1185.68241Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier 2009 The ASTREÉ analyzer. Zbl 1108.68422Cousot, Patrick; Cousot, Radhia; Feret, Jerôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier 2005 Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. Zbl 1026.68514Blanchet, Bruno; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier 2002 all top 5 Cited by 189 Authors 10 Cousot, Patrick 10 Miné, Antoine 9 Cousot, Radhia 9 Monniaux, David P. 7 Mauborgne, Laurent 6 Rival, Xavier 5 Logozzo, Francesco 4 Bouissou, Olivier 4 King, Andy 4 Kröning, Daniel 4 Pichardie, David 3 Boldo, Sylvie 3 Feret, Jérôme 3 Rümmer, Philipp 3 Sankaranarayanan, Sriram 3 Simon, Axel 3 Yang, Hongseok 3 Zaffanella, Enea 2 Amato, Gianluca 2 Bagnara, Roberto 2 Besson, Frédéric 2 Brauer, Jörg 2 Chapoutot, Alexandre 2 Fähndrich, Manuel 2 Fulara, Jędrzej 2 Furia, Carlo Alberto 2 Gawlitza, Thomas Martin 2 Gupta, Aarti 2 Halbwachs, Nicolas 2 Hill, Patricia M. 2 Ivančić, Franjo 2 Marché, Claude 2 Melquiond, Guillaume 2 Meyer, Bertrand 2 Moscato, Mariano M. 2 Muñoz, César A. 2 Oh, Hakjoo 2 Seladji, Yassamine 2 Sharygina, Natasha 2 Spoto, Fausto 2 Titolo, Laura 2 Wintersteiger, Christoph M. 2 Yi, Kwangkeun 2 Zeljić, Aleksandar 1 Abate, Alessandro 1 Aiken, Alex 1 Albert, Elvira 1 Alberti, Francesco 1 Allamigeon, Xavier 1 Apinis, Kalmer 1 Ashar, Pranav 1 Backeman, Peter 1 Barré, Nicolas 1 Becker, Stephen R. 1 Beckschulze, Eva 1 Ben Sassi, Mohamed Amin 1 Bertot, Yves 1 Beyer, Dirk 1 Blanchet, Bruno 1 Blazy, Sandrine 1 Bobot, François 1 Bouaziz, Mehdi 1 Boutonnet, Rémy 1 Brain, Martin 1 Brand, Daniel 1 Brillout, Angelo 1 Bruttomesso, Roberto 1 Bubel, Richard 1 Bueno, Francisco 1 Buss, Marcio 1 Calcagno, Cristiano 1 Cattaruzza, Dario 1 Cha, Sooyoung 1 Chawdhary, Aziem 1 Chen, Liqian 1 Clément, François 1 Colón, Michael A. 1 Cook, Byron 1 Corona, Gabriel 1 Crawford-Kahrl, Peter 1 Cummins, Bree 1 Dams, Dennis René 1 Darais, David 1 Darmawan, Luthfi 1 Demange, Delphine 1 Desharnais, Jules 1 Diallo, Nafi 1 Distefano, Dino 1 D’silva, Vijay 1 Duracz, Jan 1 Durnoga, Konrad 1 Dutle, Aaron 1 Edwards, Stephen A. 1 Feliú, Marco A. 1 Ferrara, Pietro 1 Filliâtre, Jean-Christophe 1 Gallagher, John P. 1 Ganai, Malay K. 1 Gedeon, Tomáš 1 Ghardallou, Wided ...and 89 more Authors all top 5 Cited in 19 Serials 12 Formal Methods in System Design 5 Theoretical Computer Science 4 Journal of Automated Reasoning 4 Logical Methods in Computer Science 3 Higher-Order and Symbolic Computation 3 Journal of Logical and Algebraic Methods in Programming 2 Science of Computer Programming 2 Journal of Symbolic Computation 2 Lecture Notes in Computer Science 2 Mathematics in Computer Science 1 ACM Computing Surveys 1 Programming and Computer Software 1 Order 1 Formal Aspects of Computing 1 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Journal of the ACM 1 SIAM Journal on Applied Dynamical Systems 1 Computer Languages, Systems & Structures all top 5 Cited in 12 Fields 105 Computer science (68-XX) 12 Numerical analysis (65-XX) 7 Mathematical logic and foundations (03-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Operations research, mathematical programming (90-XX) 3 Information and communication theory, circuits (94-XX) 2 General and overarching topics; collections (00-XX) 2 Systems theory; control (93-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) Citations by Year