##A masters thesis project by Christoffer Medin and Pontus Doverstav
The goal of this project is to evaluate the possibility of generating contracts using syntactic analysis of code. This project is limited to the analysis of Java and generation of contracts using JML syntax.