Model-checking Distributed Applications with GRAS

Cristian Rosa 1 Martin Quinson 1 Stephan Merz 2
1 ALGORILLE - Algorithms for the Grid
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, we present our work to add a model-checker to the GRAS framework. This tool provides a development environment allowing debug real applications within the simulator before deploying them on real platforms. We discuss the main difficulties to integrate such a model-checker, and present our approach to solve them, as well as a prototype implementation.
Type de document :
Rapport
[Research Report] RR-7052, INRIA. 2009, pp.11
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00422159
Contributeur : Cristian Rosa <>
Soumis le : mardi 6 octobre 2009 - 10:14:56
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52
Document(s) archivé(s) le : mardi 16 octobre 2012 - 11:50:44

Fichier

main-RR.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00422159, version 1

Citation

Cristian Rosa, Martin Quinson, Stephan Merz. Model-checking Distributed Applications with GRAS. [Research Report] RR-7052, INRIA. 2009, pp.11. 〈inria-00422159〉

Partager

Métriques

Consultations de la notice

325

Téléchargements de fichiers

178