gappa

Notoriété 7 %

Gappa est un outil conçu pour aider à la vérification et à la preuve formelle de propriétés sur des programmes numériques traitant des calculs en virgule flottante ou à point fixe.

Dépôt de code

https://gitlab.inria.fr/gappa/gappa (nouvelle fenêtre)1 étoiles

Cas d'utilisation métiers

Preuve formelle de propriétés sur des programmes numériques : rechercher des initiatives proches
Travail avec des calculs en virgule flottante ou à point fixe : rechercher des initiatives proches
Vérification de propriétés arithmétiques : rechercher des initiatives proches

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Économie, des Finances et de la Souveraineté industrielle, énergétique et numérique
    - Organismes rattachés - Ministère chargé de l'Économie et des Finances et de la Souveraineté industrielle et énergétique
      - Institut national de recherche en informatique et en automatique (organisation rattachée)

Description générée le mardi 19 mars 2024 à 19:58:56

D'autres initiatives de la même organisation

Insee
insee.fr
Inria
inria.fr
Coq
github.com/coq/coq
Catala
github.com/CatalaLang/catala