No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Statistics
src/main/java
target
.gitignore
README.md
Statements
pom.xml

README.md

SpecIT

##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.