ENSTA Paris U2IS

Computer Science and System Engineering Laboratory

English Français

Hybrid Systems Semantics (SSH)


Contact

Address:ENSTA paris - U2IS
Groupe Semantique des Systemes Hybrides
828, Boulevard des Maréchaux
F-91762 Palaiseau Cedex
France
Hybrid Systems Semantics (SSH)
Tel.:+33 (0)1 8187 2071

The research group "Hybrid Systems Semantics" aims at improving techniques of development, analysis and verification of software. The group members are interested in static analyses, specification, and correctness proofs of programs, as well as in the development of tools embodying their scientific results.

Mentions Legales