Team oasis

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2002
Project: oasis

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.


previous
next