Project : oasis

Section: Other Grants and Activities

Actions nationales

Action de Recherche Coopérative Modocop

Participants : Rabea Boulifa, Toufik Maarouk, Eric Madelaine.

L'action de recherche coopérative Modocop : Model checking Of Concurrent Object-oriented Programs. Le but de cette action est la spécification, la vérification et le test symbolique de programmes à objets concurrents. Ceci inclut la vérification de programmes JavaCard single-thread, à partir d'outils d'aide à la preuve, de techniques symboliques basées sur des modèles finis ou infinis. Les participants sont les équipes Lande, Lemme (coordinateur), Oasis, Vasy, Vertecs, Verimag. http://www-sop.inria.fr/lemme/modocop/.

Les activités de recherche sont décrites en http://www.inria.fr/rapportsactivite/RA2001/oasis/resul_verifs_mn.html.