|
Cosimo Laneve's software
-
Static Resource Analyzer
Abel Garcia, Elena Giachino, Cosimo Laneve, Michael Lienhardt, September
2015.
-
DF4ABS -- Deadlock Framework for ABS,
Abel Garcia, Elena Giachino, Cosimo Laneve, Michael Lienhardt, March 2013 -- April 2014.
-
SDA -- Static Deadlock Analyzer for ABS (OLD SITE) ,
Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, March 2013.
- The PiDuce Machine,
Samuele Carpineti, Cosimo Laneve, Luca Padovani, May 2007.
-
The Java Bytecode Verifier with Structured Locking Checks, Gaetano
Bigliardi and Cosimo Laneve, April 2003. Please, read the
README file.
|