License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the following terms and conditions:
1. The above copyright notice and this permission notice must appear in all copies of the software and related documentation.
2. The names of the Copyright Owners may not be used in advertising or publicity pertaining to distribution of the software without the specific, prior written permission of the Copyright Owners.
3. This software may not be called "CVC Lite" if it has been modified in any way, without the specific prior written permission of Clark Barrett or David L. Dill.
4. THE SOFTWARE IS PROVIDED "AS-IS" AND THE COPYRIGHT OWNERS MAKE NO REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED, BY WAY OF EXAMPLE, BUT NOT LIMITATION. THE COPYRIGHT OWNERS MAKE NO REPRESENTATIONS OR WARRANTIES OF MERCHANTABILITY OR FITNESS FOR ANY PARTICULAR PURPOSE OR THAT THE USE OF THE SOFTWARE WILL NOT INFRINGE ANY PATENTS, COPYRIGHTS TRADEMARKS OR OTHER RIGHTS. THE COPYRIGHT OWNERS SHALL NOT BE LIABLE FOR ANY LIABILITY OR DAMAGES WITH RESPECT TO ANY CLAIM BY LICENSEE OR ANY THIRD PARTY ON ACCOUNT OF, OR ARISING FROM THE LICENSE, OR ANY SUBLICENSE OR USE OF THE SOFTWARE OR ANY SERVICE OR SUPPORT.
LICENSEE shall indemnify, hold harmless and defend the Copyright Owners and their trustees, officers, employees, students and agents against any and all claims arising out of the exercise of any rights under this Agreement, including, without limiting the generality of the foregoing, against any damages, losses or liabilities whatsoever with respect to death or injury to person or damage to property arising from or out of the possession, use, or operation of Software or Licensed Program(s) by LICENSEE or its customers.
Our motivation in distributing this software freely is to encourage others to evaluate its effectiveness on a wider range of applications than we have resources to attempt, and to provide a foundation for further development of automatic verification techniques.
We would very much appreciate learning about others' experiences with the system and suggestions for improvements. Even more, we would appreciate contributions of two kinds: additional benchmark examples that can be added to the distribution, and enhancements to the CVC Lite system. Although we do not promise to distribute the examples or enhancements, we may do so if feasible.
B. Support, comments, feedback
If you need help or have comments or suggestions regarding CVC Lite, please send electronic mail to "email@example.com". We do not have the resources to provide commercial-quality support, but we may be able to help you.