Popularity
2.0
Stable
Activity
0.0
Stable
4
9
1

Description

JmlOk2 is a tool for detecting and classifying nonconformances in contract-based programs, tailored by Java/JML.

More details can be found in tool's website: http://massoni.computacao.ufcg.edu.br/home/jmlok

Code Quality Rank: L2
Programming language: Java
License: GNU General Public License v3.0 only
Latest version: v2.0

JMLOK 2.0 alternatives and similar libraries

Based on the "Formal Verification" category.
Alternatively, view JMLOK 2.0 alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of JMLOK 2.0 or a related project?

Add another 'Formal Verification' Library

README

JmlOk2

JmlOk2 is a tool for detecting and classifying nonconformances in contract-based programs, tailored by Java/JML.

More details can be found in tool's website: http://massoni.computacao.ufcg.edu.br/home/jmlok