Model-checking Distributed Applications with GRAS - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2009

Model-checking Distributed Applications with GRAS

Cristian Rosa
  • Function : Author
  • PersonId : 859830
Martin Quinson


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-RR.pdf (265.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : inria-00422159 , version 1


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


Gmail Facebook X LinkedIn More