OpenJML
openjml.org ↗Translates JML specifications into SMT-LIB format and passes the proof problems implied by the program to backend solvers. (GPL-2.0-only)
AboutVisit openjml.org ↗
Translates JML specifications into SMT-LIB format and passes the proof problems implied by the program to backend solvers. (GPL-2.0-only)
This entry links to an external website rather than a GitHub repository, so there's no README to display here.