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.
Alt-Ergo Theorem Prover
Par OCAMLPRO
Alt-Ergo est un solveur SMT (Satisfiability Modulo Theories) automatique conçu pour la vérification de logiciels. Il prouve des formules mathématiques générées par des outils comme Frama-C, SPARK, Why3, Atelier-B et Caveat, garantissant que les logiciels critiques se comportent comme prévu.
Éditeur / Prestataire
- Entreprise
- OCAMLPRO
- Localisation
- GIF-SUR-YVETTE, FR
- SIREN
- 531468429
- Code NAF
- 70.10Z - Activités des sièges sociaux
- Site web
- www.ocamlpro.com
Souveraineté
Solutions similaires
GLIMPS Malware for DevSecOps
Par GLIMPS
GLIMPS Malware for DevSecOps analyse automatiquement les artefacts des pipelines CI/CD pour détecter les composants malv...
Remediation Agent
Remediation Agent est un outil d'intelligence artificielle qui corrige automatiquement les problèmes de code détectés pa...
CodeSonar for C/C++
Par ADACORE
CodeSonar est un outil d'analyse statique de code source pour les langages C, C++, Java, C#, Go, Python, JavaScript, Typ...
Keypup API
Par KEYPUP
Keypup API permet d'intégrer les métriques d'ingénierie logicielle (DORA, cycle de vie des issues, etc.) dans des workfl...
BIOVIA
BIOVIA est une suite logicielle de Dassault Systèmes dédiée à l'innovation scientifique. Elle unifie la R&D, la fabricat...
Blue Panda
Par DOTVISION
Blue Panda est un système d'exploitation temps réel (RTOS) conçu pour les systèmes embarqués et l'Internet des Objets. I...