|
The RESOLVE Team at Clemson University welcomes all feedback.
Please direct any general questions regarding the RESOLVE
analyzer or the RESOLVE language to
Murali Sitaraman.
Any issues with verification condition (VC) generation should be
directed to Heather Harton.
Contact Hampton Smith
about any problems with the automated prover. Any errors in these
pages or questions about the tutorials should be sent to
Chuck Cook. |
|
The Clemson RESOLVE Team maintains Sourceforge project. Please
submit any problems or issues to The RESOLVE Project Bug Tracker. |