* Copyright (c) 2001-2004 Carnegie Mellon University.                       *
* All rights reserved.                                                      *
*                                                                           *
* This software is distributed by Carnegie Mellon University ("University") *
* under license agreement "as is" on a nonexclusive, royalty-free basis,    *
* completely without warranty or service support.  This software is for     *
* internal use only within the licensee organization, including all         *
* divisions and subsidiaries.                                               *
*                                                                           *
* The University hearby disclaims all implied warranties, including the     *
* implied warranties of merchantability and fitness for a particular        *
* purpose.  The University and its employees shall not be liable for any    *
* damages incurred by the licensee in use of the software, including        *
* direct, indirect, special, incidental, or consequential damages.          *
*                                                                           *
* The licensee may make unlimited numbers of copies of the software and     *
* create derivate works for internal use, provided that the copies bear the *
* above copyright notice and this license agreement, and are clearly marked *
* as being for internal use only.  The right to redistribute this software  *
* outside of the licensee organization may be subject to a separate license *
* agreement.  Licensees wishing to redistribute software should contact the *
* Office of Technology Transfer, Carnegie Mellon University, Pittsburgh,    *
* PA, 15213-3890 USA.                                                       *
*                                                                           *
* This software may be forwarded to the licensee's offices outside the      *
* U.S. if done in compliance with all applicable United States laws and     *
* regulations regarding the export of technology.                           *
*                                                                           *
* The licensee agrees that, with respect to the use of this software, it    *
* will take all reasonable measures to give appropriate credit to the       *
* University for its role in the development of the software.               *
*                                                                           *
* The licensee agrees to provide nonproprietary information to the          *
* University with respect to the use, operation, modification, enhancement, *
* or revision of the software, so that the University may continue research *
* and development of verification software.                                 *