Copyright (c) 1994, 1995.  All rights reserved.

        Peter Danzig of the University of Southern California.
        Steve Miller of the University of Southern California.
        Erhyuan Tsai of the University of Southern California.

This copyright notice applies to all code in Checker Project other than
subsystems developed elsewhere, which contain other copyright notices
in their source text.

The Checker software may be used for academic, research, government, 
and internal business purposes without charge.  If you wish to sell 
or distribute the Checker software to commercial clients or partners, 
you must license the software. Please email requests to checker@catarina.usc.edu.

The Checker software is provided ``as is'', without express or
implied warranty, and with no support nor obligation to assist in its
use, correction, modification or enhancement.  We assume no liability
with respect to the infringement of copyrights, trade secrets, or any
patents, and are not responsible for consequential damages.  Proper
use of the Checker software is entirely the responsibility of the user.

For those who are using Checker for non-commercial purposes, you may
make derivative works, subject to the following constraints:

- You must include the above copyright notice and these accompanying 
  paragraphs in all forms of derivative works, and any documentation 
  and other materials related to such distribution and use acknowledge 
  that the software was developed at the above institutions.

- You must notify checker@catarina.usc.edu regarding your distribution of the 
  derivative work.

- You must clearly notify users that your are distributing a modified 
  version and not the original Checker software.

- Any derivative product is also subject to the restrictions of the 
  copyright, including distribution and use limitations.

