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.

Articles citant les travaux de TrustInSoft dans le domaine de l'intelligence artificielle.

STARTCyber

craft ai et TrustInSoft, lauréates de la 1re saison de START@SystemX dédiée à la...

Les 2 start-up sélectionnées par le jury sont expertes dans les outils d’analyse de code source et d’IA « as-a- service». Elles intégreront le...

Voir également :