BOUKHALAT, Youssef; Rapporteur: BOUHOUITA GUERMECH, Salah Eddine
(University of M'sila, 2012-06-10)
La transformation d'une spécification du langage vers un langage pris en charge par un outil de vérification est un moyen largement adopté en vérification formelle. Il permet la réutilisation des langages et des outils ...