Verificación de propiedades temporales de diseños community: un caso de estudio

En este trabajo, exploramos la utilización de una lógica temporal lineal de primer orden para la verificación de propiedades de ejecuciones de programas abstractos, escritos en un lenguaje de diseño de programas llamado CommUnity. CommUnity es un lenguaje cuya semántica y mecanismos de composición...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Aguirre, Nazareno Matías, Regis, Germán
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2005
Materias:
Ciencias Informáticas
Temporal logic
Design languages
Verification
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23148
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23148
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
Temporal logic
Design languages
Verification
spellingShingle Ciencias Informáticas
Temporal logic
Design languages
Verification
Aguirre, Nazareno Matías
Regis, Germán
Verificación de propiedades temporales de diseños community: un caso de estudio
topic_facet Ciencias Informáticas
Temporal logic
Design languages
Verification
description En este trabajo, exploramos la utilización de una lógica temporal lineal de primer orden para la verificación de propiedades de ejecuciones de programas abstractos, escritos en un lenguaje de diseño de programas llamado CommUnity. CommUnity es un lenguaje cuya semántica y mecanismos de composición están basados en construcciones de teoría de categorías. Desarrollamos un caso de estudio, en el cual hacemos uso de una interpretación de programas CommUnity como sistemas de transición de estados, y experimentamos con el uso del demostrador de teoremas STeP para realizar verificaciones. Finalmente, discutimos algunas posibles formas de realizar las actividades de verificación de manera modular, aprovechando los distintos tipos de morfismos de programas disponibles en CommUnity.
format Objeto de conferencia
Objeto de conferencia
author Aguirre, Nazareno Matías
Regis, Germán
author_facet Aguirre, Nazareno Matías
Regis, Germán
author_sort Aguirre, Nazareno Matías
title Verificación de propiedades temporales de diseños community: un caso de estudio
title_short Verificación de propiedades temporales de diseños community: un caso de estudio
title_full Verificación de propiedades temporales de diseños community: un caso de estudio
title_fullStr Verificación de propiedades temporales de diseños community: un caso de estudio
title_full_unstemmed Verificación de propiedades temporales de diseños community: un caso de estudio
title_sort verificación de propiedades temporales de diseños community: un caso de estudio
publishDate 2005
url http://sedici.unlp.edu.ar/handle/10915/23148
work_keys_str_mv AT aguirrenazarenomatias verificaciondepropiedadestemporalesdedisenoscommunityuncasodeestudio
AT regisgerman verificaciondepropiedadestemporalesdedisenoscommunityuncasodeestudio
bdutipo_str Repositorios
_version_ 1764820465697685506

Ejemplares similares