IRISA - DiverSE
Last modified by Antoine Rollet on 2020/06/29 18:33
- 48.1143391
- -1.6364235
- Yes
- Content associated with the point
-
Laboratoire : IRISA
Campus de Beaulieu, 263 avenue du Général Leclerc, 35 042 RENNES cedex, France.
Responsable d'équipe : Olivier Barais.
Responsable dans le cadre du GT Debugging : Benoit Combemale.
Responsable dans le cadre du GT MTV2 : Olivier Barais.
We develop techniques, frameworks, and environments to facilitate the creation, integration, and automated processing of (domain-specific) software languages ; with a particular focus on program/model execution, validation and verification.
- Options for marker