Société: Formal Land

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
HOS

Solutions et technologies

Etablissements