hybrid-sog
Un outil de vérification de modèles parallèles implémenté en C/C++, utilisant le package BDD BuDDy pour la version séquentielle et le package Sylvan pour les versions séquentielle et parallèle. L'outil permet de construire des graphes d'observation symbolique (SOG) pour la vérification de systèmes concurrents.
Cas d'utilisation métiers
- Vérification de modèles parallèles : rechercher des initiatives proches
- Approche hybride MPI/pthreads pour la construction de SOG : rechercher des initiatives proches
- Construction de graphes d'observation symbolique : rechercher des initiatives proches
- Utilisation de BDD pour une représentation compacte des agrégats : rechercher des initiatives proches
Organisation
- Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace (organisation rattachée)
Description générée le mardi 19 mars 2024 à 18:10:17
D'autres initiatives de la même organisation
- #dataESRdata.esr.gouv.fr
- French Open Science Monitorfrenchopensciencemonitor.esr.gouv.fr
- CurieXplorecuriexplore.enseignementsup-recherche.gouv.fr
- Works-magnetworks-magnet.esr.gouv.fr