1.
|
Análisis modular y recuperación de contraejemplos en TACO
Alborodo, Raúl - Ricci, Nicolás - Galeotti, Juan P. - Aguirre, Nazareno Matías
Formato: |
Objeto de conferencia, Objeto de conferencia |
Enlaces: |
TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, para luego analizar la especificación obtenida…
|
Fecha: |
2012-07-19 |
Recurso: |
Unversidad Nacional de La Plata |
|