This sourceforge site for the project is now DEPRECATED and not updated.
All current work and new releases are on github: https://github.com/OpenJML/OpenJML.
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.
The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
The main goal of BASIC foundry on SourceForge is to gather all developers that works something related to BASIC programming language in order to help creation of fast, stable, cross-platform, OPEN SOURCE BASIC compiler.