RSRG

icon indicating a website link https://www.cs.clemson.edu/resolve/

icon location Clemson, SC icon location RESOLVE Software Research Group at Clemson University

Results 1 repositories owned by RSRG

RESOLVE

22
Stars
15
Forks
Watchers

RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.

verified publisher icon ClemsonRSRG