Welcome to the RESOLVE website!

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. For a complete statement of the RESOLVE vision for constructing of verifiable component-based systems with predictable behaviors of functionality and performance, please see the proceedings of the 2007 RESOLVE workshop, held at Clemson in June 2007.

RESOLVE is the research and educational vehicle of the RESOLVE/Reusable Software Research Group (RSRG) I direct in the School of Computing at Clemson University.   The group works closely with members of the RSRG in the Department of Computer and Information Science at The Ohio State University, the RSRG in the Department of Computer Science at Virginia Tech and the RSRG at Virginia Tech’s Northern Virginia Campus.

• Contact Information
• Verifier
• RESOLVE Compiler/Verifier: Language and Tools
• Verifier Benchmarks
• Education
• NSF CCLI Project: Methods and Tools for Teaching Mathematical Reasoning (also: SIGCSE and ITiCSE 2009)
• Complete Results of Evaluation
• Talks
• SAVCBS 04 Talk 2004
• Manchester Workshop Talk 2004
• 957 Seminar Introduction Talk, January 15, 04 
• Clemson Talk, September 26, 03
• Research
• Technical Reports
• Topics
• Recent M. S. Theses and Ph. D. Dissertations
• A Selected List of Publications
• Papers
• People
• Related Activities

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.  

---

This site maintained by Murali Sitaraman