Implementación de un verificador de modelos CTL simbólico en Haskell
Loading...
Files
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
En este se construye y prueba un verificador de modelos de la lógica temporal CTL utilizando el lenguaje de programación Haskell.
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.