Application en cours de test. Merci de nous signaler les informations manquantes ou erronées, ainsi que les éventuels dysfonctionnements de l'application : contact@numeriquedeconfiance.fr

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.

France SAS Cybersécurité & Confiance Développement & DevOps Protection & Antivirus Tests & Qualité

Visiter le site web

À 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é.