Présentation de l’équipe
(équipe-projet du LINA depuis juillet 2005)Axes de recherche
Les activités de recherche de l’équipe COLOSS se situent entre la recherche fondamentale et leursapplications.
L’objectif est d’élaborer des concepts, des méthodes et des techniques outillées pour les
concepteurs ou développeurs de logiciels.
Nous explorons les approches formelles (celles basées sur des fondements mathématiques)
d’aide à l’analyse et au développement du logiciel :
- Spécification multiformalisme et analyse formelle multifacette de systèmes.
- Spécification, vérification et validation des composants et des architectures logiciels.
Le but est d’assurer la correction des composants utilisés et des compositions de ceux-ci dans le
cadre de construction de systèmes informatiques complexes (i.e. non triviaux).