Sémantique des Systèmes Hybrides (SSH)
Contact
| Address: | ENSTA paris - U2IS Groupe Semantique des Systemes Hybrides 828, Boulevard des Maréchaux F-91762 Palaiseau Cedex France |  |
| 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.