Méthodes de Test pour la Vérification  et la Validation (Test Methods for Verification and Validation)

The MTV2 group brings together all the French academic teams working on the general theme of validation and verification of software and systems, under the supervision of the GDR GPL funded by the CNRS.

The GDR GPL (Groupement de Recherche Génie de la Programming et du Logiciel) is a unit of the INS2I of the CNRS which brings together the French scientific community interested in Software Engineering and Programming.

The next meeting of the MTV2 workshop will take place on 17 October 2019 at Télécom Paris and will be a joint event with the IFIP-ICTSS conference.

Program

Coming soon