Wiki source code of IRISA - DiverSE
Last modified by Antoine Rollet on 2020/06/29 18:33
Show last authors
author | version | line-number | content |
---|---|---|---|
1 | Laboratoire : IRISA | ||
2 | |||
3 | Campus de Beaulieu, 263 avenue du Général Leclerc, 35 042 RENNES cedex, France. | ||
4 | |||
5 | Responsable d'équipe : Olivier Barais. | ||
6 | |||
7 | Responsable dans le cadre du GT Debugging : Benoit Combemale. | ||
8 | |||
9 | Responsable dans le cadre du GT MTV2 : Olivier Barais. | ||
10 | |||
11 | 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. |