partrap

ParTraP est un interpréteur pour le langage ParTraP, proposé dans le projet MODMED, qui vérifie que les traces d'exécution satisfont des propriétés formelles données dans un langage de haut niveau.

Dépôt de code

https://gricad-gitlab.univ-grenoble-alpes.fr/modmed/partrap (nouvelle fenêtre)

Cas d'utilisation métiers

Interprétation de langage de spécification pour la vérification de traces : rechercher des initiatives proches
Vérification de traces d'exécution par rapport à des propriétés formelles : rechercher des initiatives proches

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace
    - Universités - Ministère chargé de l'Enseignement supérieur
      - Université Grenoble Alpes (UGA) (organisation rattachée)

Outils utilisés

Description générée le lundi 18 mars 2024 à 11:03:23

D'autres initiatives de la même organisation

Linbox
github.com/linbox-team/linbox
FFLAS-FFPACK
github.com/linbox-team/fflas-ffpack
Givaro
github.com/linbox-team/givaro
Fidle
gricad-gitlab.univ-grenoble-alpes.fr/talks/fidle