Implementación de un model checker para lógicas modales en Haskell

Las lógicas modales son utilizadas en una gran variedad de campos relacionados con las ciencias de la computaci ón Entre ellos se encuentran la veri ficaci ón de programas la concurrencia la teor ía de aut ómatas los operadores de punto jo y los sistemas de comunicaci ón distribu dos El obje...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Cardoso, Marco A.
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1997
Materias:
Ciencias Informáticas
progamación funcional
Distributed Systems
lógica modal
model cheking
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24132
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24132
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
progamación funcional
Distributed Systems
lógica modal
model cheking
spellingShingle Ciencias Informáticas
progamación funcional
Distributed Systems
lógica modal
model cheking
Cardoso, Marco A.
Implementación de un model checker para lógicas modales en Haskell
topic_facet Ciencias Informáticas
progamación funcional
Distributed Systems
lógica modal
model cheking
description Las lógicas modales son utilizadas en una gran variedad de campos relacionados con las ciencias de la computaci ón Entre ellos se encuentran la veri ficaci ón de programas la concurrencia la teor ía de aut ómatas los operadores de punto jo y los sistemas de comunicaci ón distribu dos El objetivo de este trabajo es describir la implementaci ón en Haskell de un veri ficador de modelos gen erico para l ógicas modales y analizar su comportamiento ven tajas y desventajas con respecto a posibles implementaciones basadas en lenguajes imperativos
format Objeto de conferencia
Objeto de conferencia
author Cardoso, Marco A.
author_facet Cardoso, Marco A.
author_sort Cardoso, Marco A.
title Implementación de un model checker para lógicas modales en Haskell
title_short Implementación de un model checker para lógicas modales en Haskell
title_full Implementación de un model checker para lógicas modales en Haskell
title_fullStr Implementación de un model checker para lógicas modales en Haskell
title_full_unstemmed Implementación de un model checker para lógicas modales en Haskell
title_sort implementación de un model checker para lógicas modales en haskell
publishDate 1997
url http://sedici.unlp.edu.ar/handle/10915/24132
work_keys_str_mv AT cardosomarcoa implementaciondeunmodelcheckerparalogicasmodalesenhaskell
bdutipo_str Repositorios
_version_ 1764820466657132545

Ejemplares similares