Génération et manipulation d'espaces d'états distribués avec CADP : expériences sur Grid'5000

Hubert Garavel 1 Radu Mateescu 1 Wendelin Serwe 1, *
* Auteur correspondant
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Résumé : La vérification distribuée utilise les ressources d'un ensemble de machines pour accélérer et surtout pour accéder à des quantités de mémoire au delà de ce qui est possible avec une seule machine. Dans cet article, nous présentons les outils de vérification distribuée fournis par la boîte à outils \CADP, en mettant l'accent sur les améliorations récentes des outils pour l'exploration à la volée de systèmes de transitions étiquetées partitionnés. Nous faisons aussi état des résultats d'expériences avec ces outils sur Grid'5000 utilisant jusqu'à 512 processus répartis.
Keywords : Grid'5000
Type de document :
Communication dans un congrès
Conférence en Parallélisme, Architecture et Système ComPAS'2013, Jan 2013, Grenoble, France. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00777110
Contributeur : Wendelin Serwe <>
Soumis le : mercredi 16 janvier 2013 - 17:40:09
Dernière modification le : jeudi 11 janvier 2018 - 06:23:43
Document(s) archivé(s) le : samedi 1 avril 2017 - 06:26:05

Fichiers

Identifiants

  • HAL Id : hal-00777110, version 1

Citation

Hubert Garavel, Radu Mateescu, Wendelin Serwe. Génération et manipulation d'espaces d'états distribués avec CADP : expériences sur Grid'5000. Conférence en Parallélisme, Architecture et Système ComPAS'2013, Jan 2013, Grenoble, France. 2013. 〈hal-00777110〉

Partager

Métriques

Consultations de la notice

448

Téléchargements de fichiers

158