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

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

Mostrar el registro sencillo del ítem

dc.contributor.author Diego Fernández Chaparro Plata, Javier
dc.date.accessioned 2019-10-22T13:54:37Z
dc.date.available 2019-10-22T13:54:37Z
dc.date.issued 2019-10-22
dc.identifier.uri http://132.248.52.100:8080/xmlui/handle/132.248.52.100/17037
dc.description 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. es_ES
dc.description.abstract En este se construye y prueba un verificador de modelos de la lógica temporal CTL utilizando el lenguaje de programación Haskell. es_ES
dc.language.iso es es_ES
dc.subject Programación funcional en Haskell es_ES
dc.subject Modelos para lógica CTL es_ES
dc.subject Lógica temporal es_ES
dc.subject Registro de corrimiento es_ES
dc.subject Modelado de problemas es_ES
dc.title Implementación de un verificador de modelos CTL simbólico en Haskell es_ES
dc.type Tesis es_ES
dc.director.trabajoescrito Hernández Sánchez, Noé Salomón
dc.carrera.ingenieria Ingeniería en computación es_ES


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.

Mostrar el registro sencillo del ítem

Buscar en RepoFI


Búsqueda avanzada

Listar

Mi cuenta