TrustInSoft

TrustInSoft service FVS
Améliorer la sécurité et la fiabilité des logiciels écrits en langages C et C++ grâce à une analyse complète fondée sur des solutions de vérification formelles. Tel est l’objectif affiché par la société...

TrusInSoft Analyser Coiverure de code des entrées
[EMBEDDED WORLD] Le français TrustInSoft, un spécialiste de l’analyse statique de code écrit en C/C++, a montré lors du salon Embedded Word comment, grâce à une évolution de la gestion des métriques de...

TrustInSoft Analyser Mappage mémoire
Le français TrustInSoft, spécialiste de l'analyse du code source C/C++, annonce l’intégration dans son outil TrustInSoft Analyzer du mappage mémoire d’un code sur une cible embarquée, dont la connaissance est, selon la société,...

TrustInSoft eSoL et Eeasymile
Spécialiste de l'analyse statique exhaustive du code source des logiciels écrits en C/C++, la société française TrustInSoft, qui était jusque-là concentrée sur les marchés des télécommunications, de l’Internet...

TrusInSoft léve 5 million d'euros
Après avoir bouclé une première levée de fonds de 1,2 million d’euros en 2017, la société française TrustInSoft, spécialisée dans les technologies de sécurité des logiciels embarqués, annonce un nouveau tour...

TrustInSoft Idinvest
La jeune société française TrustInSoft, un spécialiste de la sécurité des logiciels embarqués, annonce la levée de 1,2 million d’euros auprès du fonds d’investissement européen Idinvest Partners. Créé en...


TrstInSoft RSA Conference
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...

Trustinsoft
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
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