Model-checking Distributed Applications with GRAS - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2009

Model-checking Distributed Applications with GRAS

Cristian Rosa
  • Fonction : Auteur correspondant
  • PersonId : 859830

Connectez-vous pour contacter l'auteur
Martin Quinson

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.
Fichier principal
Vignette du fichier
main.pdf (107.91 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00378374 , version 1 (24-04-2009)
inria-00378374 , version 2 (15-07-2010)

Identifiants

  • HAL Id : inria-00378374 , version 1

Citer

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. ⟨inria-00378374v1⟩
297 Consultations
154 Téléchargements

Partager

More