Title
Data flow analysis for checking properties of concurrent Java programs
Overview
This project will focus on modelling concurrency in Java using flow graphs
and using them to verify program properties.
Paper
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
Implementation details
Several simple concurrent Java programs to be analyzed using FLAVERS
software.