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.Infos clefs
- Site web
- https://formal.land/
- Effectifs
- 1 ou 2 salariés
- Numéro SIREN
- 904962289
- Code NAF
- 62.02A - Conseil en systèmes et logiciels informatiques
- Date de création
- 2021-09-30
- Tag line
- Nous développons des outils de vérification formelle de code en open-source.
- Cluster(s) d'appartenance
Solutions et technologies
Etablissements
- 6 RUE LUCIEN SAMPAIX, Paris, Île-de-France