TrustInSoft
Publié le 04-07-2013 par Francois Gauthier
Créé le 2 mai 2013, TrustInSoft ouvre aux développeurs de code C, C++ et Java la possibilité de mettre en oeuvre de puissantes méthodes d'analyse statique pour détecter des erreurs complexes à trouver par des approches de test classiques. Le...
Réservé aux abonnés
Présentation
TrustInSoft donne aux développeurs de code C, C++ et Java la possibilité de mettre en oeuvre de puissantes méthodes d'analyse statique pour détecter des erreurs complexes à dénicher par des approches de test classiques. Son produit phare, le TrustInSoft Analyzer, est un framework facile d'accés, basé sur l'outil Frama-C issu des technologies du CEA.
Fiche Entreprise
Date de création : 2013
Nationalité : France
Dirigeants : Fabrice Derepas (CEO), Benjamin Monate (directeur technique), Pascal Cuoq (directeur scientifique)