Equipes de recherche de l'IRISA connectées à la filière ``Méthodes formelles pour le logiciel''

ESPRESSO :

Environnement de Spécification de Programmes RÉactifS SynchrOnes
(/http://www.irisa.fr/espresso/espresso-francais.html)

Groupe GALION :

Informatique théorique. Graphes et logique
(http://www.irisa.fr/galion/)

LANDE :

Logiciel : analyse et développement
(http://www.irisa.fr/lande/)

S4 :

Synthèse et supervision de systèmes, scénarios
(http://www.irisa.fr/s4/fiche-projet-f.html)

TRISKELL :

Construction fiable et efficace d'applications par assemblage de composants
(http://www.irisa.fr/triskell/)

VERTECS :

Modèles et techniques de VÉRification appliquées au TEst et au Contrôle de Systèmes réactifs
(http://www.irisa.fr/vertecs/index.htm)