Intelligence artificielle
TrustInSoft
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.
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 :
