ClemsonRSRG/RESOLVE
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
JavaBSD-3-Clause
Stargazers
- abhishek-saware
- Alan-love
- alexmajy
- andrew-johnson-4LibExplainer.com
- angusshireUC Berkeley
- Bryan1041South Carolina
- cdock1029Canfield, OH
- gautamkBlock | Meta | Appdynamics | Cisco | Amazon | University of Washington
- hamptonsmith
- JesseWrightAustin, Texas
- kevinlearyNavy
- magsilvaFederal University of Technology - Paraná (UTFPR)
- mahmoudimusVery Good Security
- master-qMETASEPI DESIGN
- mikekab
- mlinksva☃
- patrickdloganPortland, Oregon, USA
- pron
- rickhutchesonSan Fransisco, CA
- shell800
- suprafun
- taketoday7Wuhan
- trailblazingDetroit, MI
- tuyucheng777Wuhan,China