ClemsonRSRG / RESOLVE

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

Alternatives and similar repositories for RESOLVE:

Users that are interested in RESOLVE are comparing it to the libraries listed below