AbsInt : fiches commerciales

aiT

Analyse de WCET

PDF (2 pages, 600 ko)

StackAnalyzer

Analyse de la pile

PDF (1 page, 380 ko)

Astrée

Analyse d’erreurs à l’exécution

PDF (1 page, 3.4 Mo)

RuleChecker

Vérification des règles MISRA

PDF (1 page, 460 ko)

TimingProfiler

Estimation WCET

PDF (1 page, 360 ko)

TimeWeaver

Analyse WCET hybride

PDF (1 page, 230 ko)

CompCert

Compilation vérifiée

PDF (1 page, 910 ko)

AbsInt

A propos de nous

PDF (8 pages, 195 ko)

Télécharger toutes les fiches

ZIP, 4.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