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, *
* Corresponding author
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
Document type :
Conference papers
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
Contributor : Wendelin Serwe <>
Submitted on : Wednesday, January 16, 2013 - 5:40:09 PM
Last modification on : Monday, April 13, 2015 - 9:18:49 AM
Document(s) archivé(s) le : Saturday, April 1, 2017 - 6:26:05 AM

Files

Identifiers

  • 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〉

Share

Metrics

Record views

429

Document downloads

157