This is an old revision of the document!
Software Verification Tools Overview
by Clément Beffa, Vincent Pazeller, and Olivier Gobet
Related paper
The paper A Comparison of Bug Finding Tools for Java is related to our project and was explained with those slides during class.