Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadatas

Cited literature [2 references]  Display  Hide  Download

https://hal.inria.fr/inria-00422159
Contributor : Cristian Rosa <>
Submitted on : Tuesday, October 6, 2009 - 10:14:56 AM
Last modification on : Thursday, January 11, 2018 - 6:19:52 AM
Long-term archiving on: : Tuesday, October 16, 2012 - 11:50:44 AM

File

main-RR.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

349

Files downloads

227