Acceso a Webmail

Complejo Tecnológico, Campus de Teatinos 29071 Málaga. (España) Teléfono: +34 952133371 Fax: +34 952131397

Datos del PFC [Volver]

Titulación
X
Título
Implementación de un Model Checker en Java
Autor
Miguel L. Acuña Heredero
Directores
Gallardo Melgarejo, Mª del Mar
Requisitos
Ingeniero en Informática, en Informática de Sistemas o Gestión.
Descripción
El objetivo del proyecto es el desarrollo en java de una aplicación capaz de analizar el comportamiento de otro programa (escrito en un java simplificado). La idea es implementar varios algoritmos de model checking para compararlos en cuanto a eficiencia en tiempo y espacio. La aplicación también deberá contar con un interfaz gráfico que facilite el acceso a la herramienta.
Otros
-
Fecha
28/05/09
Fecha lectura
-
Url
-
Documento
-