ENSTA Paris 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 Semantique des Systemes Hybrides
828, Boulevard des Maréchaux
F-91762 Palaiseau Cedex
France
Sémantique des Systèmes Hybrides (SSH)
Tel.:+33 (0)1 8187 2071

Le groupe de recherche «Semantique des Systemes Hybrides» (SSH) 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.

Mentions Legales