Model-checking Distributed Applications with GRAS - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2009

Model-checking Distributed Applications with GRAS

Cristian Rosa
  • Fonction : Auteur
  • PersonId : 859830
Algorithms for the Grid
Martin Quinson
Algorithms for the Grid
CV
Stephan Merz
Proof-oriented development of computer-based systems

Résumé

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.

Domaines

Modélisation et simulation
Fichier principal
Vignette du fichier
main-RR.pdf (265.91 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Cristian Rosa  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00422159

Soumis le : mardi 6 octobre 2009-10:14:56

Dernière modification le : vendredi 24 mars 2023-14:52:52

Archivage à long terme le : mardi 16 octobre 2012-11:50:44

Télécharger pour visualiser

Dates et versions

inria-00422159 , version 1 (06-10-2009)

Identifiants

  • HAL Id : inria-00422159 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA INRIA-RRRT UNIV-LORRAINE INRIA2 TDS-MACS LORIA LARA ANR
106 Consultations
131 Téléchargements

Partager

More