Toggle navigation
Home
Demo
Documentation
External links
Other static analysers
Deadlock analyser
Resource analyser
About
JaDA Project
Papers
Available papers:
Abel Garcia.
Static analysis of concurrent programs based on behavioral type systems.
PhD thesis, School in Computer Science and Engineering,
2017
Abel Garcia and Cosimo Laneve.
JaDA – the Java Deadlock Analyser.
To appear as a chapter of the book “Behavioural Types for Reliable Large-Scale Software Systems”,
2017
.
Abel Garcia and Cosimo Laneve.
Deadlock detection of Java Bytecode.
Submitted,
2017