CORTEX: développement facilité de contrôleurs robotiques.
Lire la suite
SCORE : développement facilité d’interface de programmation, et de commande supervisée de robots.
Lire la suite
VPSim accélère l’exploration de l’espace de conception des architectures numériques.
Lire la suite
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