AbsInt : fiches commerciales

aiT

Analyse de WCET

PDF (2 pages, 1.9 Mo)

StackAnalyzer

Analyse de la pile

PDF (1 page, 1.7 Mo)

Astrée

Analyse d’erreurs à l’exécution

PDF (1 page, 1.9 Mo)

RuleChecker

Vérification des règles MISRA

PDF (1 page, 1.8 Mo)

TimingProfiler

Estimation WCET

PDF (1 page, 1.6 Mo)

TimeWeaver

Analyse WCET hybride

PDF (1 page, 1.7MB)

CompCert

Compilation vérifiée

PDF (1 page, 262 ko)

AbsInt

A propos de nous

PDF (8 pages, 195 ko)

Télécharger toutes les fiches

ZIP, 14.4 Mo

© AbsInt. Astrée est developé et distribué par AbsInt sous licence de CNRS/ENS.
CompCert est developé et distribué par AbsInt sous licence d’INRIA.
Mentions légales.
URL: https://www.absint.com/flyers/index_fr.htm

Fiches commerciales

aiT