Department of Computer Science and Engineering
Academic discipline: INF/01 Computer Science
Home > Useful contents > Software developed by Cosimo's Group
The JaDA Project -- Development of a full-fledged deadlock analyser for the Java programming language. The first release of the Java Deadlock Analyzer is available as a web service at JaDA, Abel Garcia and Cosimo Laneve, October 2016.
Static Resource Analyzer -- Static Resource Analyzer for ABS, Abel Garcia, Elena Giachino, Cosimo Laneve, Michael Lienhardt, September 2015.
Cryptocurrencies, bugs e transazioni sicure
Published on: October 13 2016
Analisi di Proprietà di Applicazioni per il Cloud
Published on: April 22 2016
Analisi del tool JaDA (Java Deadlock Analyzer) e eventuali estensioni.
Login to manage all website contents.