Hybrid Systems Semantics (SSH)
Contact
Address: | ENSTA ParisTech - U2IS Groupe Sûreté et Fiabilité des Logiciels 828, Boulevard des Maréchaux F-91762 Palaiseau Cedex France | ![]() |
Email: | ||
Tel.: | +33 (0)1 8187 2032 |
The research group "Safety and Reliability of Software" 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.