Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal

Tipo de documento: Objeto de conferencia

Resumen

En este trabajo los sistemas de software son especificados por medio de un grafo y las propiedades que debe cumplir son expresadas como fórmulas de la lógica modal KPI. Ambos, sistema y propiedades, son traducidos a relaciones de un álgebra Fork. Con estas relaciones resultantes se puede alimentar al sistema RELVIEW, el cual permite verificar automáticamente si dichas propiedades se verifican en el sistema diseñado.

Notas

Eje: Teoría

Información general

Fecha de exposición: octubre 2001
Fecha de publicación: octubre 1999
Idioma del documento: Español
Evento: V Congreso Argentino de Ciencias de la Computación
Institución de origen: Red de Universidades con Carreras en Informática (RedUNCI)

Descargar archivos

Thumbnail
Documento completo
Descargar archivo (116.1Kb) - PDF
 
Creado el: 2 de noviembre de 2012
Disponible en SEDICI desde: 2 de noviembre de 2012
Por favor, utilice uno de estos identificadores(URI) para citar o enlazar este ítem:
  • http://sedici.unlp.edu.ar/handle/10915/23538

    • Este ítem aparece en la(s) siguiente(s) colección(ones)

    Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)