JMLEclipse is, first and foremost, an Eclipse-based (v.3.5.1) JML front-end that provides JML infrastructure to process JML specifications at source (JML2 syntax) and bytecode (embedded JML Intermediate Representation -- JIR) levels. In addition, it will integrate various verification tools such as static verifiers. This project is a successor project of JML4 (including JML4.5 and JML6) and the old JMLEclipse project.

Syndicate content