Entreprise FORMALINSIGHTS à RECLOSES

L'année de création de FORMALINSIGHTS, Société à responsabilité limitée (sans autre indication) est 2020, il y a 5 ans. Elle a pour SIREN : 888218559. Son siège social est à RECLOSES (77760). Le code NAF dont elle dispose est le 6201Z (Programmation informatique). Elle n'emploie pas de salarié. Elle n'a pas d'établissement secondaire actif.
Son activité principale déclarée est : Conception et vérification formelle des systèmes critiques et développement d'outils de vérification dédiés à la preuve de propriétés et à la génération automatique de tests.

Code NAF 6201Z Entreprises de Programmation informatique à RECLOSES

Informations légales sur FORMALINSIGHTS

Nom :

FORMALINSIGHTS

SIREN :

888218559

SIRET :

88821855900019

Type d'établissement :

Siège

Statut INSEE :

Active

N° de TVA :

FR20888218559

(Ce numéro a été calculé automatiquement et est fourni à titre indicatif).

Cette entreprise fait partie de l'Économie sociale et solidaire (ESS).

Date de création :

03/08/2020

Date mise à jour :

22/03/2024

Activité de FORMALINSIGHTS

Activité principale déclarée :

Conception et vérification formelle des systèmes critiques et développement d'outils de vérification dédiés à la preuve de propriétés et à la génération automatique de tests.

Code NAF :

6201Z

Catégorie :

Programmation, conseil et autres activités informatiques

Libellé Code NAF :

Programmation informatique

Nature juridique :

Société à responsabilité limitée (sans autre indication)

Le dernier bilan publié pour cette entité date du 19/01/2025.