TRUSTINSOFT
PARIS, France
Spécialiste de la sécurité logicielle, elle développe des solutions d'analyse statique formelle pour garantir la robustesse des codes C/C++ avant exécution.
À propos
Spécialiste de la sécurité logicielle, elle développe des solutions d'analyse statique formelle pour les langages C et C++. Son approche mathématique permet de détecter exhaustivement les vulnérabilités et les comportements indéfinis directement dans le code source, garantissant une robustesse et une sûreté accrues avant même l'exécution. Elle répond ainsi aux exigences critiques des secteurs de l'aéronautique, de l'automobile et de la cybersécurité.
Solutions proposées
TrustInSoft
Par TRUSTINSOFT
Solution d'analyse statique formelle pour détecter les vulnérabilités et garantir la sécurité du code C/C++ avant son ex...
TrustInSoft Analyzer
Par TRUSTINSOFT
TrustInSoft Analyzer est un outil d'analyse statique exhaustive basé sur des méthodes formelles pour détecter et élimine...
Informations juridiques
Source : INSEE
Localisation
COUR 222 AVENUE DU MAINE 75014 PARISFrance
Éditeurs similaires
GISKARD AI
PARIS, France
Éditeur d'une plateforme open-source pour tester, évaluer et assurer la conformité des modèles d'IA avant leur déploiement.
ADACORE
PARIS, France
Fournit des outils et services pour développer des logiciels sûrs et fiables dans des secteurs critiques.
SONARSOURCE FRANCE
ANNECY, France
Éditeur de plateforme d'analyse et de vérification de code pour les développeurs
CRYSPEN
PARIS, FR
Société de services et d'édition d'outils pour la sécurité formelle des systèmes critiques
