Slide 1Model Transformation Verification: some theory and some practice Levi Lúcio MSDL Lab / NECSIS project McGill University Slide 2 Dr. Levi Lúcio Model Based Testing…