Large-Scale Distributed Verification using CADP: Beyond Clusters to Grids

Hubert Garavel 1 Radu Mateescu 1 Wendelin Serwe 1
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Distributed verification uses the resources of several computers to speed up the verification and, even more importantly, access large amounts of memory beyond the capabilities of a single computer. In this paper, we describe the distributed verification tools provided by the CADP (Construction and Analysis of Distributed Processes) toolbox, especially focusing on its most recent tools for management, inspection, and on-the-fly exploration of distributed state spaces. We also report on large-scale experiments carried out using these tools on Grid'5000 using up to 512 distributed processes.
Keywords : Grid'5000
Type de document :
Communication dans un congrès
11th International Workshop on Parallel and Distributed Methods in verifiCation, Sep 2012, London, United Kingdom. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00730668
Contributeur : Wendelin Serwe <>
Soumis le : vendredi 16 novembre 2012 - 11:44:11
Dernière modification le : jeudi 11 janvier 2018 - 06:23:43
Document(s) archivé(s) le : dimanche 17 février 2013 - 02:35:09

Fichiers

Identifiants

  • HAL Id : hal-00730668, version 1

Citation

Hubert Garavel, Radu Mateescu, Wendelin Serwe. Large-Scale Distributed Verification using CADP: Beyond Clusters to Grids. 11th International Workshop on Parallel and Distributed Methods in verifiCation, Sep 2012, London, United Kingdom. 2012. 〈hal-00730668〉

Partager

Métriques

Consultations de la notice

526

Téléchargements de fichiers

185