La société AbsInt (Abstract Interpretation) conçoit et commercialise des logiciels et services pour le développement, l’analyse et la certification du code embarqué, temps réel et critique, dont une partie a été développée au sein du Laboratoire d’informatique de Grenoble. Ses outils aiT (calcul statique des bornes supérieures des temps d’exécution de tâches de systèmes temps réel), StackAnalyzer (analyse des pires cas d'utilisation d'une pile de tâches), Astrée (détection des erreurs à l’exécution dans les codes critiques) et CompCert (compilateur certifié) sont principalement utilisés dans le domaine de l’avionique.