the SDA project home news download documentation FAQ references tools for deadlock analysis Typical DECO contact: Cosimo Laneve January 2013

ABS: A Core Language for Abstract Behavioral Specification by Einar Broch Johnsen, Reiner Hahnle, Jan Schäfer, Rudolf Schlatte, and Martin Steffen, Proc. 9th Intl. Symp. on Formal Methods for Components and Objects (FMCO 2010). LNCS 6957, 2010. COMMENT: This is the reference paper about the syntax and semantics of core ABS DeadLock Analysis of Concurrent Objects -- Theory and Practice by Elena Giachino, Carlo A. Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y.W. Wong. January 2013. COMMENT: This paper describes in some detail the SDA tool Deadlocks and Livelocks in Concurrent Objects with Futures by Elena Giachino, Cosimo Laneve. December 2011. COMMENT: This paper describes the theory behind the SDA tool. The language considered is the functional part of core ABS, called FJf. The ABS Language Specification by the HATS Project, September 2012. COMMENT: This is the current language specification of ABS HATS Abstract Behavioral Specification: The Architectural View by Reiner Hahnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, and Peter Y. H. Wong, Proc. 10th Intl. Symposium on Formal Methods for Components and Objects (FMCO 2011). LNCS 7542, 2011. COMMENT: The architecture of the ABS Tool Suite is described in this paper.