Création en 2013 à Orsay
Effectifs : 5 personnes
CA : 44 000 euros en 2013
Créée par essaimage du CEA-List, Trustinsoft propose d’améliorer la sécurité et la qualité des logiciels embarqués dans les mobiles et objets connectés en utilisant des techniques de vérification formelle de code issues de l‘aéronautique et du nucléaire. Sa plateforme de vérification de code est le produit de 5 ans de développement au sein du CEA-List. Elle offre l’avantage d’analyser le code écrit sans avoir à l’exécuter.
Réagir