The purpose of the project is to support JML in SpringContract. A long term goal is to provide a light-weight run-time assertion checking and static analysis tool for Java language.
Use Patent Claims
Include Install Instructions
These details are provided for information only. No information here is legal advice and should not be used as such.