Last modified by Antoine Rollet on 2020/06/29 18:33

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