Skip to Main content Skip to Navigation
Conference papers

Model-checking Distributed Applications with GRAS

Cristian Rosa 1, * Martin Quinson 1 Stephan Merz 2
* Corresponding author
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.
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/inria-00378374
Contributor : Martin Quinson <>
Submitted on : Thursday, July 15, 2010 - 7:07:08 PM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM
Long-term archiving on: : Friday, December 2, 2016 - 12:20:22 AM

File

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

Identifiers

  • 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. ⟨inria-00378374v2⟩

Share

Metrics

Record views

494

Files downloads

246