MYX: MUST correctness checking for YML and XMP programs – MYX
Coordination du projet
Matthias Müller (RWTH Aachen University)
L'auteur de ce résumé est le coordinateur du projet, qui est responsable du contenu de ce résumé. L'ANR décline par conséquent toute responsabilité quant à son contenu.
Partenariat
RIKEN Riken
HPCS Center for Computational Sciences, University of Tsukuba,
RWTH RWTH Aachen University
MdS Maison de la Simulation
Aide de l'ANR 215 999 euros
Début et durée du projet scientifique :
décembre 2015
- 36 Mois