Wiki source code of IRISA - DiverSE
Version 1.1 by Steven Costiou on 2020/05/12 14:47
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 | 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. |