https://www.ingenieria.unam.mx Repositorio Facultad de Ingeniería

Implementación de un verificador de modelos CTL simbólico en Haskell

Implementación de un verificador de modelos CTL simbólico en Haskell

Diego Fernández Chaparro Plata, Javier
URI: http://132.248.52.100:8080/xmlui/handle/132.248.52.100/17037
Fecha: 2019-10-22

Resumen:

En este se construye y prueba un verificador de modelos de la lógica temporal CTL utilizando el lenguaje de programación Haskell.

Descripción:

Se explica la teoría detrás de la verificación de modelos tradicional, se describe el sistema cosntruido y se prueba con algunos ejemplos de sistemas computacionales.

Mostrar el registro completo del ítem

Ficheros en el ítem

Icon
Nombre: Tesis.pdf
Tamaño: 1.530Mb
Formato: PDF
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

  • Tesis 2019
    Trabajos escritos para obtener grado académico de licenciatura en ingeniería de 2019.

Buscar en RepoFI


Búsqueda avanzada

Listar

Mi cuenta