Architecture de vérification de modèles de logiciels basée sur l'ingénierie dirigée par les modèles - HAJAMI ANASS (My University, 2016)