Meeduse est un atelier de conception formelle de langages dédiés domaine (DSLs). Il permet de travailler sur la correction d'un DSL au moyen d'outils de raisonnements automatisés. La force de l'outil provient de ProB (un animateur et un model-checker de la méthode B) et d'EMF (un environnement IDM bien établi). Cet article passe en revue deux usages utiles de Meeduse : (i) exécution et déboggage, et (ii) transformation de modèles.