Génération et manipulation d'espaces d'états distribués avec CADP : expériences sur Grid'5000 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

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

Abstract

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.
Fichier principal
Vignette du fichier
main.pdf (606.85 Ko) Télécharger le fichier
Serwe-RENPAR-13.pdf (1.01 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Format Other

Dates and versions

hal-00777110 , version 1 (16-01-2013)

Identifiers

  • HAL Id : hal-00777110 , version 1

Cite

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. ⟨hal-00777110⟩
557 View
104 Download

Share

Gmail Mastodon Facebook X LinkedIn More