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

Document

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

Medel, Ricardo et al · SEDICI UNLP · 2001

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Medel, Ricardo et al

Editorial

SEDICI UNLP

Año

2001

Idioma

Español

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

Descripción general del contenido del recurso.

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. Eje: Teoría Red de Universidades con Carreras en Informática (RedUNCI)

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Medel, R. E. A. (2001). Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23538

MLA

Medel, Ricardo et al. Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal. SEDICI UNLP, 2001. http://sedici.unlp.edu.ar/handle/10915/23538.

Chicago

Medel, Ricardo et al. 2001. Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23538.

Harvard

Medel, R. E. A. 2001, Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/23538 [Accessed 5 Aug. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

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

Autor / colaboradores: Medel, Ricardo et al

Editorial: SEDICI UNLP

Año de publicación: 2001

Idioma: Español

Materias

Explorá otros recursos relacionados a partir de estas materias.

Ciencias Informáticas; Models; Algebras Fork; Software; Lógica Modal; sistemas especificados