The goal of this project is to design practical verification techniques for multi-threaded programs based on specific combinations of static and dynamic analyses. We implement all proposed techniques using WALA and Java Pathfinder, and evaluate them on Java bytecode programs.

Contact