AbsInt Angewandte Informatik GmbH, Sarrebruck

Interprétation abstraite (en anglais)

(en anglais) Analyse de la pile

(en anglais) Analyse WCET

Visualisation de graphes

Analyse statique de code C

Optimisation de code embarqué (en anglais)

Notre contribution à la sécurité du nouvel Airbus A380
Références clients
Où acheter

À propos d’AbsInt · Logiciels · Contact · Espace presse · Plan du site
Dernière mise à jour le 29 avril 2009. © 1998–2009 AbsInt. Mentions légales.
In English · Auf Deutsch · En Español · По-русски