TrustInSoft
Publié le 15-06-2015 par Francois Gauthier
La jeune société française TrustInSoft, spécialiste de l’analyse statique de code source, figure parmi les dix finalistes du concours intitulé "Most Innovative Company" de la RSA Conference 2015 à San Francisco. Une première...
Publié le 04-04-2014 par Francois Gauthier
La jeune société française TrustInSoft, qui propose des outils de test et d’analyse statique de code basés sur la technologie Frama-C issue du CEA-List et de l’Inria, est la seule à avoir passé avec succès une partie des tests...
Réservé aux abonnés
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
-blocks-basic-fr.jpg)
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)