TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Arenas Sánchez, Purificación
AU  - Flores Montoya, A.
AU  - Genaim, Samir
AU  - Gómez-Zamalloa Gil, Miguel
AU  - Martín Martín, Enrique
AU  - Puebla, G.
AU  - Román Díez, Guillermo
PY  - 2014
DO  - 10.1007/978-3-642-54862-8_46
SN  - 03029743
UR  - https://hdl.handle.net/20.500.14352/36144
T2  - Lecture Notes in Computer Science
AB  - We 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 freedom)...
LA  - eng
M2  - 562
PB  - Springer
TI  - SACO: Static analyzer for concurrent objects
TY  - conference paper
VL  - 8413
ER  -