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

Autores
Cardoso, Marco A.
Año de publicación
1997
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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
Eje: Conferencia latinoamericana de programación funcional
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
progamación funcional
Distributed Systems
lógica modal
model cheking
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/24132
Acceder
id SEDICI_cfab4e8bac72e43a4ac2693126f80d81
oai_identifier_str oai:sedici.unlp.edu.ar:10915/24132
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Implementación de un model checker para lógicas modales en HaskellCardoso, Marco A.Ciencias Informáticasprogamación funcionalDistributed Systemslógica modalmodel chekingLas 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 imperativosEje: Conferencia latinoamericana de programación funcionalRed de Universidades con Carreras en Informática (RedUNCI)1997info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/24132spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-22T16:37:14Zoai:sedici.unlp.edu.ar:10915/24132Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-22 16:37:15.119SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Implementación de un model checker para lógicas modales en Haskell
title Implementación de un model checker para lógicas modales en Haskell
spellingShingle Implementación de un model checker para lógicas modales en Haskell
Cardoso, Marco A.
Ciencias Informáticas
progamación funcional
Distributed Systems
lógica modal
model cheking
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
dc.creator.none.fl_str_mv Cardoso, Marco A.
author Cardoso, Marco A.
author_facet Cardoso, Marco A.
author_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
progamación funcional
Distributed Systems
lógica modal
model cheking
topic Ciencias Informáticas
progamación funcional
Distributed Systems
lógica modal
model cheking
dc.description.none.fl_txt_mv 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
Eje: Conferencia latinoamericana de programación funcional
Red de Universidades con Carreras en Informática (RedUNCI)
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
publishDate 1997
dc.date.none.fl_str_mv 1997
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/24132
url http://sedici.unlp.edu.ar/handle/10915/24132
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1846782834418647040
score 12.982451

Publicaciones similares