A propos
Introduction
TrustInSoft commercialise des outils et services d’analyse exhaustive de code source C et C++ et bientôt Java permettant d’apporter des garanties mathématiques sur la qualité des logiciels de ses clients.
Presentation
Ces solutions d’analyses de logiciel permettent d’avoir des garanties sur la sécurité et la fiabilité du code source sans modifier le processus de développement. Ces offres sont déployées dans le monde entier chez les développeurs et intégrateurs de composants logiciels.
TrustInSoft commercialise TrustInSoft Analyzer, analyseur de code source qui permet une analyse exhaustive d’inputs de code source et qui peut apporter des garanties mathématiques sur la sécurité, sûreté, et qualité de logiciel. TrustInSoft Analyzer s’appuie sur la technologie de méthodes formelles qui permet une analyse complète et précise pour identifier toutes les failles sans relever de fausses alarmes. Les offres de TrustInSoft sont déployées dans le monde entier chez les développeurs et intégrateurs de composants logiciels issus des industries critiques de type aéronautique, ferroviaire, militaire, nucléaire, ainsi que l’industrie de l’automobile ou encore les industries de type télécommunication, semi-conducteur et l’IoT.