TRUST IN SOFT commercialise des outils et services d’analyse exhaustive de code source C et C++ permettant d’apporter des garanties mathématiques sur la qualité des logiciels de ses clients. 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 issus des industries aéronautique, automobile, semiconducteur, ferroviaire, militaire, nucléaire, télécoms, ou l’IoT.
Site internet