Un analyseur linguistique disponible en 60 langues et parmi les plus performants au monde.
Lire la suite
Un environnement open source d’analyse formelle de code C pour garantir la sûreté et la sécurité des programmes.
Lire la suite
Sécuriser un système embarqué grâce à l’application automatique de contremesures logicielles.
Lire la suite
Renforcer la sécurité des logiciels par l’analyse formelle de leur code exécutable.
Lire la suite
XDE Physics permet de simuler la manipulation et les interactions de composants d’une maquette numérique.
Lire la suite
N2D2 optimise, quantifie et déploie des réseaux de neurones sur des composants pour l’embarqué ou des accélérateurs matériels dédiés.
Lire la suite