This is an old revision of the document!
Software Verification Tools Overview
by Clément Beffa, Vincent Pazeller, and Olivier Gobet
Report
Abstract : …
- Report
Files related to the presentation
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.