×

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; z3; PPL; Coq; Octagon; FunArray; BLAST; Why3; ESC/Java; Aspic; CBMC; Caduceus; KRAKATOA; CSSV; SLAM; Eiffel; HyTech; Gappa; SPIN; Boogie
Cited in: 112 Documents
all top 5

Cited by 201 Authors

10 Cousot, Patrick
10 Miné, Antoine
9 Cousot, Radhia
9 Monniaux, David P.
7 Mauborgne, Laurent
6 Rival, Xavier
5 King, Andy
5 Logozzo, Francesco
4 Bouissou, Olivier
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 Chawdhary, Aziem
2 Fähndrich, Manuel
2 Fulara, Jędrzej
2 Furia, Carlo Alberto
2 Gawlitza, Thomas Martin
2 Gupta, Aarti
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 Ballabriga, Clément
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 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 M.
1 Edwards, Stephen A.
1 Feliú, Marco A.
1 Ferrara, Pietro
1 Filliâtre, Jean-Christophe
1 Forget, Julien
1 Gallagher, John P.
1 Ganai, Malay K.
1 Gedeon, Tomáš
...and 101 more Authors

Citations by Year