IRISA - DiverSE
Version 1.2 by Steven Costiou on 2020/05/12 14:50
- 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.
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