index - LINA - Equipe COmposants et LOgiciels SûrS

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 leurs
applications.
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 :