Data flow analysis for checking properties of concurrent Java programs
This project will focus on modelling concurrency in Java using flow graphs
and using them to verify program properties.
Gleb Naumovich, George S. Avrunin, and Lori A. Clarke.
Data flow analysis for checking properties of concurrent Java programs.
In Proceedings of the Twenty-First International Conference on Software
Engineering, pages 399-410, Los Angeles, May 1999.
Additional reading material
Literature on data flow analysis, FLAVERS documentation and tutorial
Several simple concurrent Java programs to be analyzed using FLAVERS