index - Méthodes Formelles, Modèles et Langages

Ce site donne accès à la production scientifique de l'axe de recherche "Méthodes Formelles, Modèles et Langages". Cet axe du Laboratoire d'Informatique de Grenoble (LIG) est structuré en 3 équipes :

CAPP : Calculs algorithmes programmes et preuves (dirigé par Rachid Echahed)
- site web de l'équipe
- publications de l'équipe
CONVECS : Construction de Systèmes Concurrents Vérifiés (dirigé par Radu Mateescu)
- site web de l'équipe
- publications de l'équipe
TYREX : Types et raisonnement pour le web (dirigé par Nabil Layaida)
- site web de l'équipe
- publications de l'équipe

Mots-clés: Langages de programmation et analyses statiques, Modèles de calcul, Modèles et programmation pour le web, Spécification et vérification formelles, Sureté de fonctionnement, Systèmes concurrents, Systèmes embarqués

Site web du LIG