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