TrustInSoft
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
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)