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

Ejemplares similares

Ejemplares similares