Skip to search formSkip to main contentSkip to account menu

Astrée (static analysis)

Known as: Astree (static analysis), Astrée 
Astrée is a static analyzer based on abstract interpretation. It analyzes programs written in the C programming language and outputs an exhaustive… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
What is the relationship between the third part of Astree, which appeared in 1619, and Louis XIII’s rise to power two years… 
2016
2016
lorsque Celadon se travestit pour la troisieme fois afin de devenir Alexis, la fille du druide Adamas, le costume a suffi pour le… 
2015
2015
Les mousses fragiles suscitent aujourd'hui un interet croissant dans differents domaines d'applications. Ces mousses allient… 
2013
2013
Mon stage s’est deroule au CRI 1 de Mines ParisTech. L’objectif de celui-ci etait de realiser des extensions de l’analyse… 
2011
2011
Following the successful WCET Tool Challenges in 2006 and 2008, the third event in this series was organized in 2011, again with… 
2011
2011
En ligne, magazine consacree a ASTREE, association de lutte contre l'isolement : http://www.crancra.org/emissions/radio_calade… 
1986
1986
Dans " Sonnets et madrigals pour Astree ", Ronsard cree un mythe d'Astree qui s'appuie sur la polarite d'un univers cosmologique…