Implementación de un verificador de modelos CTL simbólico en Haskell
| dc.carrera.ingenieria | Ingeniería en computación | es_ES |
| 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.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.director.trabajoescrito | Hernández Sánchez, Noé Salomón | |
| dc.identifier.uri | http://132.248.52.100:8080/xmlui/handle/132.248.52.100/17037 | |
| 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 |