rhit-csse-projects/RESOLVE

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

JavaStars 3Forks 0Watchers 3Open issues 10License BSD 3-Clause "New" or "Revised" License

Details

仓库信息

Ownerrhit-csse-projects

Homepagehttps://www.cs.clemson.edu/resolve/

GitHubhttps://github.com/rhit-csse-projects/RESOLVE

Last pushed2025-12-12

Last updated2025-12-14

Issues fetched at—

rhit-csse-projects/RESOLVE

Community at a glance