Description
Nous développons des outils de vérification formelle de code en open-source. La vérification formelle permet d'analyser l'absence de bug dans un programme, en couvrant tous les cas d'exécution possibles grâce à l'emploi d'une analyse mathématique du code.
Nous avons développé des outils pour Rust, Python, Solidity et OCaml. Nous utilisons le système de preuves Coq. Nous appliquons ces outils pour vérifier le code de nos clients.
Informations légales
- Site web
- https://formal.land/
- Numéro SIREN
- Code NAF
- — Conseil en systèmes et logiciels informatiques
- Effectifs
- Aucun salarié
- Date de création
- Cluster
- Hub Open Source Systematic