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.
HAX
Par CRYSPEN
HAX est un framework de vérification formelle pour le langage Rust. Il traduit du code Rust vers des langages de preuves formelles (F*, Rocq, ProVerif) pour permettre l'analyse de sécurité et la vérification fonctionnelle de logiciels de production.
Éditeur / Prestataire
- Entreprise
- CRYSPEN
- SIREN
- 908684848
- Code NAF
- 62.01Z - Programmation informatique
- Site web
- www.cryspen.com
Souveraineté
Solutions similaires
Visual Expert
Par NOVALYS
Visual Expert est un outil d'analyse, de documentation et de maintenance de code pour les environnements PowerBuilder, O...
FROG
Par GRAIPHIC
FROG est un langage graphique de flux de données open source conçu pour l'ère de l'IA. Il permet de concevoir, exécuter ...
SeaCoral Test Generator
Par OCAMLPRO
SeaCoral est un outil de génération automatique de tests unitaires pour le langage C. Il combine fuzzing, model checking...
Blackfire
Par SENSIOLABS
Blackfire est un outil de profilage et de monitoring des performances pour applications web. Il permet aux développeurs ...
SonarQube Cloud
SonarQube Cloud est un outil d'analyse statique de code hébergé dans le cloud. Il vérifie automatiquement la qualité et ...