Trabajo Fin de Grado
Librería Haskell sobre Model Checking
Autor/es | Domínguez Balbás, Pablo |
Director | Martín Mateos, Francisco Jesús |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2020-06-01 |
Fecha de depósito | 2021-07-05 |
Titulación | Universidad de Sevilla. Grado en Matemáticas |
Resumen | In this project we establish the basic theoretical concepts about F inite State M achines
and Model Checking so we can implement those concepts in the form of a fully functional
Haskell package, that can be used by anyone ... In this project we establish the basic theoretical concepts about F inite State M achines and Model Checking so we can implement those concepts in the form of a fully functional Haskell package, that can be used by anyone interested in an introduction to these fields. More specifically, we present the ground definitions to formally define the mathematical object of Automata and the alphabet it accepts, whereas also presenting the two basic temporal logics of LT L and CT L, and the model checking algorithm for CT L. |
Cita | Domínguez Balbás, P. (2020). Librería Haskell sobre Model Checking. (Trabajo Fin de Grado Inédito). Universidad de Sevilla, Sevilla. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
GM Domínguez Balbás, Pablo.pdf | 550.3Kb | [PDF] | Ver/ | |