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

Educational Workshops

Research

RESOLVE Workshops

Talks

People


Page last updated March 7, 2011 by Chuck Cook