GitHub repository: ClemsonRSRG/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.