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