00001 /*!\page LICENSE LICENSE 00002 00003 Copyright (C) 2003-2006 by the Board of Trustees of Leland Stanford Junior 00004 University and by New York University, hereafter designated as the Copyright 00005 Owners. 00006 00007 License to use, copy, modify, sell and/or distribute this software and 00008 its documentation for any purpose is hereby granted without royalty, 00009 subject to the following terms and conditions: 00010 00011 1. The above copyright notice and this permission notice must 00012 appear in all copies of the software and related documentation. 00013 00014 2. The names of the Copyright Owners may not be used in advertising or 00015 publicity pertaining to distribution of the software without the specific, 00016 prior written permission of the Copyright Owners. 00017 00018 3. This software may not be called "CVC Lite" if it has been modified 00019 in any way, without the specific prior written permission of Clark W. Barrett 00020 or David L. Dill. 00021 00022 4. THE SOFTWARE IS PROVIDED "AS-IS" AND THE COPYRIGHT OWNERS MAKE NO 00023 REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED, BY WAY OF EXAMPLE, BUT NOT 00024 LIMITATION. THE COPYRIGHT OWNERS MAKE NO REPRESENTATIONS OR WARRANTIES OF 00025 MERCHANTABILITY OR FITNESS FOR ANY PARTICULAR PURPOSE OR THAT THE USE OF THE 00026 SOFTWARE WILL NOT INFRINGE ANY PATENTS, COPYRIGHTS TRADEMARKS OR OTHER 00027 RIGHTS. THE COPYRIGHT OWNERS SHALL NOT BE LIABLE FOR ANY LIABILITY OR DAMAGES 00028 WITH RESPECT TO ANY CLAIM BY LICENSEE OR ANY THIRD PARTY ON ACCOUNT OF, OR 00029 ARISING FROM THE LICENSE, OR ANY SUBLICENSE OR USE OF THE SOFTWARE OR ANY 00030 SERVICE OR SUPPORT. 00031 00032 LICENSEE shall indemnify, hold harmless and defend the Copyright Owners and 00033 their trustees, officers, employees, students and agents against any and all 00034 claims arising out of the exercise of any rights under this Agreement, 00035 including, without limiting the generality of the foregoing, against any 00036 damages, losses or liabilities whatsoever with respect to death or injury to 00037 person or damage to property arising from or out of the possession, use, or 00038 operation of Software or Licensed Program(s) by LICENSEE or its customers. 00039 00040 Notes: 00041 00042 A. Courtesy 00043 00044 Our motivation in distributing this software freely is to encourage 00045 others to evaluate its effectiveness on a wider range of applications 00046 than we have resources to attempt, and to provide a foundation for 00047 further development of automatic verification techniques. 00048 00049 We would very much appreciate learning about others' experiences with 00050 the system and suggestions for improvements. Even more, we would 00051 appreciate contributions of two kinds: additional benchmark examples 00052 that can be added to the distribution, and enhancements to the CVC 00053 Lite system. Although we do not promise to distribute the examples or 00054 enhancements, we may do so if feasible. 00055 00056 B. Support, comments, feedback 00057 00058 If you need help or have comments or suggestions regarding CVC Lite, 00059 please send electronic mail to "barrett@cs.nyu.edu". We do not have the 00060 resources to provide commercial-quality support, but we may be able to help 00061 you. 00062 00063 */
1.4.4