Nous présentons un outil effectif de traduction automatique d'une grammaire de propriété en un problème de configuration sous contraintes. Un template Latex (utilisant les AVMs1 standards) est utilisé pour spécifier la grammaire et le générateur prend en entrée les fichiers Latex utilisés pour la documenter. Ainsi, notre contribution propose à la fois une validation syntaxique des grammaires de propriété (l'outil détecte les inconsistances dans la grammaire au niveau de la formulation) et une manière de vérifier la correction et la consistance de la grammaire (en détectant les erreurs et/ou les étiquetages manquant des phrases de test). L'approche pourrait se voir étendue à d'autres théories linguistiques basées sur les contraintes.