Fiche non validée
Les informations de cette fiche proviennent de sources publiques et n'ont pas encore été validées par l'éditeur. Si vous constatez une erreur, veuillez nous la signaler.
SPARK Pro
Par ADACORE
SPARK Pro est un outil de preuve formelle qui permet de vérifier mathématiquement la sûreté, la sécurité et l'exactitude de logiciels embarqués et de haute intégrité. Il prévient les vulnérabilités et élimine les comportements indéfinis grâce à une analyse statique.
Éditeur / Prestataire
- Entreprise
- ADACORE
- SIREN
- 403325657
- Code NAF
- 58.29B - Edition de logiciels outils de développement et de langages
- Site web
- adacore.com/
Souveraineté
Solutions similaires
Agentic Analysis
Agentic Analysis est un outil de vérification de code en temps réel qui analyse le code généré par des agents d'IA avant...
CECURITY COM
Par CECURITY.COM
Éditeur de solutions logicielles pour l'archivage électronique probant et les coffres-forts numériques sécurisés.
WANPULSE
Par WANPULSE
Éditeur d'un logiciel souverain de gestion, supervision et sécurisation des parcs informatiques pour collectivités.
Visual Expert
Par NOVALYS
Visual Expert est un outil d'analyse, de documentation et de maintenance de code pour les environnements PowerBuilder, O...
TrustInSoft Analyzer
Par TRUSTINSOFT
TrustInSoft Analyzer est un outil d'analyse statique exhaustive basé sur des méthodes formelles pour détecter et élimine...