Model-checking Distributed Applications with GRAS

Cristian Rosa 1, * Martin Quinson 1 Stephan Merz 2
* Auteur correspondant
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 :
Communication dans un congrès
Exploiting Concurrency Efficiently and Correctly - EC2 workshop associated to CAV 2009, Jun 2009, Grenoble, France. 2009
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00378374
Contributeur : Martin Quinson <>
Soumis le : jeudi 15 juillet 2010 - 19:07:08
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52
Document(s) archivé(s) le : vendredi 2 décembre 2016 - 00:20:22

Fichier

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

Identifiants

  • HAL Id : inria-00378374, version 2

Collections

Citation

Cristian Rosa, Martin Quinson, Stephan Merz. Model-checking Distributed Applications with GRAS. Exploiting Concurrency Efficiently and Correctly - EC2 workshop associated to CAV 2009, Jun 2009, Grenoble, France. 2009. 〈inria-00378374v2〉

Partager

Métriques

Consultations de la notice

448

Téléchargements de fichiers

157