Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude

UNIVERSIDAD COMPLUTENSE DE MADRID FACULTAD DE INFORMÁTICA Departamento de Sistemas Informáticos y Computación TESIS DOCTORAL Depuración declarativa y verificación heterogénea en Maude Declarative debugging and heterogeneous verification in Maude MEMORIA PARA OPTAR AL GRADO DE DOCTOR PRESENTADA POR Adrián Riesco Rodríguez Directores José Alberto Verdejo López Narciso Martí Oliert Madrid, 2011 ISBN: 978-84-695-1107-7 © Adrián Riesco Rodríguez, 2011 Depuraci´on Declarativa yVerificaci´on Heterog´enea en MaudeTESIS DOCTORALMemoria presentada para obtener el grado deDoctor en Inform´ aticaAdri´an Riesco Rodr´ıguezDirigida por los profesoresJos´e Alberto Verdejo L´opezNarciso Mart´ı OlietDepartamento de Sistemas Inform´aticos y Computaci´onFacultad de Inform´aticaUniversidad Complutense de MadridAbril 2011Declarative Debugging andHeterogeneous Verification in MaudePhD ThesisAdri´an Riesco Rodr´ıguezAdvisorsJos´e Alberto Verdejo L´opezNarciso Mart´ı OlietDepartamento de Sistemas Inform´aticos y Computaci´onFacultad de Inform´aticaUniversidad Complutense de MadridApril, 2011AcknowledgmentsI am finishing this PhD thesis being 28 years old.