Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy

En este trabajo presentamos técnicas para mejorar la performance de Abstracción por Predicados en el contexto de análisis de especificaciones DynAlloy. Este trabajo extiende nuestro trabajo previo en la misma dirección, principalmente mediante un mecanismo de detección de inducción, que permite inde...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Ariño, Rodrigo, Degiovanni, Renzo, Fervari, Raul, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2010
Materias:
Ciencias Informáticas
Abstract data types
DynAlloy
abstracción por predicados
análisis de especificaciones
caso de estudio
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/19382
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares