TrustInSoft

TrustInSoft édite un outil d’analyse statique pour le code source écrit en C et en C++. TrustInSoft Analyzer détecte de manière exhaustive les erreurs de programmation présentes dans les logiciels et offre de vraies garanties mathématiques sur la qualité du code. À la différence de ses concurrents, cette solution est fondée sur des méthodes formelles et vise non seulement à trouver le plus de fautes mais aussi à en prouver l’absence.