Welcome to the Clemson RESOLVE Software Research Group (RSRG) website.
The RESOLVE research effort is one of the longest running software engineering efforts in the USA. It spans foundational, practical, and educational aspects of software engineering and computing. The overall RESOLVE verification vision is that of a future in which no production software is considered properly engineered unless it has been fully specified, and fully verified as satisfying these specifications. The RSRG is directed by Murali Sitaraman, from the School of Computing at Clemson University. The RESOLVE effort is funded in part by grants from the U. S. National Science Foundation (NSF), the U. S. Department of Education, and the U. S. National Aeronautics and Space Administration (NASA) agency.
The RESOLVE verification vision is indeed ambitious. We welcome professors, practitioners, and students to contribute and get involved in realizing the vision. The RESOLVE project is a sourceforge project. Click HERE to contact us.
Verifier
Education
- RESOLVE/Mathematical Reasoning Web Interface
- Web Interface User Survey
- Mathematical Reasoning Wiki
- RESOLVE Tutor
- Teaching Tool For Specification Understanding
- Team Software Development with Formal Contract Specifications
- Verification Condition Generator and Prover
- Educational Surveys
- Publications
- Partner Institutions
- Web Interface Version 1 (deprecated)
Educational Workshops
Research
RESOLVE Workshops
Talks
People
Page last updated March 7, 2011 by Chuck Cook