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.
https://hal.inria.fr/inria-00378374 Contributor : Martin QuinsonConnect in order to contact the contributor Submitted on : Thursday, July 15, 2010 - 7:07:08 PM Last modification on : Wednesday, February 2, 2022 - 3:51:48 PM Long-term archiving on: : Friday, December 2, 2016 - 12:20:22 AM
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⟩