Model-checking Distributed Applications with GRAS
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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|