A Technique for Automatic Validation of Model Transformations Model Transformation Verification: some theory and some practice Levi Lúcio MSDL Lab / NECSIS project McGill…