SASA

Notoriété 7 %

SASA est un outil permettant la vérification de propriétés et la génération de preuves de correction pour des systèmes asynchrones. Il offre une interface utilisateur intuitive pour faciliter l'interaction avec l'utilisateur.

Dépôt de code

https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa (nouvelle fenêtre)1 étoiles

Cas d'utilisation métiers

Génération de preuves de correction pour des systèmes asynchrones : rechercher des initiatives proches
Aide à la vérification de propriétés sur des systèmes asynchrones : 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)

Outil utilisé

node-sass : voir les initiatives de ses organisations qui l'ont aussi

Description générée le lundi 18 mars 2024 à 13:09:59

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