Vérification de Systèmes Dynamiques et Paramétrés
mpri-vsdp