Partenaires
Rechercher
Navigation
Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel
Thème 7 - Sûreté de développement du logiciel
Responsable : Christian Percebois
Objectifs
Dans le domaine de l’aide au développement de logiciel, les recherches visent à réduire les coûts et les délais de validation de logiciels critiques, par l’utilisation de méthodes formelles. Trois axes sont explorés : La théorie des types, appliquée en particulier aux langages de spécification, au développement de preuves, et à la validation par preuve et vérification. L’aide au développement de systèmes réactifs, composites ou concurrents, répartis et mobiles. Les recherches portent sur les méthodes (...)
Sous-rubriques :