Welcome to the Clemson RESOLVE Software Research Group (RSRG)
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
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
School of Computing
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
to contact us.