ENSTA ParisTech U2IS

Unité d'Informatique et d'Ingénierie des Systèmes

English Français

Sémantique des Systèmes Hybrides (SSH)


Contact

Address:ENSTA ParisTech - U2IS
Groupe Sûreté et Fiabilité des Logiciels
828, Boulevard des Maréchaux
F-91762 Palaiseau Cedex
France
Sémantique des Systèmes Hybrides (SSH)
Email:
Tel.:+33 (0)1 8187 2032

Le groupe de recherche « Sûreté et Fiabilité des Logiciels » (SURF) vise à contribuer à l'amélioration des techniques de développement, d'analyse et de vérification des logiciels. Les membres de l'équipe s'intéressent aux analyses statiques, aux spécifications et à la preuve de programmes, ainsi qu'au développement d'outils concrétisant les résultats de leurs recherches.



Enseignants-Chercheurs

Personnel administratif

Postdocs



Publications (navigation dans une autre fenêtre)