Información del autor
Documentos disponibles escritos por este autor (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Flores Montoya, A. ; Genaim, Samir ; Gómez-Zamalloa Gil, Miguel ; Martín Martín, Enrique ; Puebla, G. ; Román Díez, Guillermo | Springer | 2014We present the main concepts, usage and implementation of SACO, a static analyzer for concurrent objects. Interestingly, SACO is able to infer both liveness(namely termination and resource boundedness) and safety properties (namely deadlock free[...]
