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)

Related topics

Related topics

5 relations

Broader (1)

Abstract interpretation
Control theoryFluctuatList of tools for static code analysisMISRA C

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Astrée, 1619: The “Justice” of Louis XIII and the “Laws” of the Pastoral
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
Le rêve df Astrée
lorsque Celadon se travestit pour la troisieme fois afin de devenir Alexis, la fille du druide Adamas, le costume a suffi pour le… 
2016
2016
Louis de Bonald : ordre et pouvoir entre subversion et providence (Éd. mise à jour) Giorgio Barberis ; traduction de l'italien par Astrée Questiaux
2015
2015
Caractérisation et modélisation du comportement mécanique d'une mousse fragile
Les mousses fragiles suscitent aujourd'hui un interet croissant dans differents domaines d'applications. Ces mousses allient… 
2013
2013
Rapport de stage : Analyse sémantique des tableaux, des structures et des pointeurs
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
WCET tool challenge 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
ASTREE - RESEAU LUTTE CONTRE L'ISOLEMENT
En ligne, magazine consacree a ASTREE, association de lutte contre l'isolement : http://www.crancra.org/emissions/radio_calade… 
2005
2005
J.J. Rousseau, lector de novelas, lector de L' Astrée
1993
1993
Une démarche de conception, réalisation et évaluation d'IHM : application au projet férroviaire Astrée
1986
1986
Estrées/Astrée/Astre : l'imaginaire de l'autre in Ronsard et l'imaginaire.
Dans " Sonnets et madrigals pour Astree ", Ronsard cree un mythe d'Astree qui s'appuie sur la polarite d'un univers cosmologique… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)