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

Effectifs
?
Numéro SIREN
90496228900016
Code NAF
????? -
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