GitHub repository: rhit-csse-projects/RESOLVE
Primary language: Java
Description: RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.