left

Licensing and Disclaimer

right
AProVE Help SystemContact and Legal MattersLicensing and Disclaimer

License Agreement

Non-exclusive Binary Code License

Accepting this non-exclusive license from RWTH Aachen will permit you to download a single copy of certain program code in binary format ("code") and related documentation and to use the copy of the code and documentation solely in accordance with the following terms and conditions:
  1. You may make and use copies of the code and documentation internally as follows:
    1. a single copy of the code for internal execution for any purpose;
    2. additional copies as required to execute the single copy;
    3. a copy for archival purposes;
    4. copies of the documentation for internal distribution only as required to use the single copy of the code.

    Without executing an applicable commercial license with RWTH Aachen, no part of the code may be sold, offered for sale, or made accessible on a computer network external to your own or your organization's; nor may commercial services utilizing the code be sold or offered for sale.
    NO OTHER LICENSES ARE GRANTED OR IMPLIED.

  2. RWTH Aachen has no obligation to support the code and documentation it is providing under this license. To the extent permitted under the applicable law, RWTH Aachen is LICENSING THE CODE AND DOCUMENTATION "AS IS", WITH NO EXPRESS OR IMPLIED WARRANTIES OF ANY KIND, INCLUDING, BUT NOT LIMITED TO, ANY IMPLIED WARRANTIES OF MERCHANTABILITY OR FITNESS FOR ANY PARTICULAR PURPOSE OR WARRANTIES AGAINST INFRINGEMENT OF ANY PROPRIETARY RIGHTS OF A THIRD PARTY AND WILL NOT BE LIABLE TO YOU FOR ANY CONSEQUENTIAL, INCIDENTAL, OR SPECIAL DAMAGES OR FOR ANY CLAIM BY ANY THIRD PARTY. Under this license, the code remains the property of RWTH Aachen and is protected by copyright law. EXCEPT AS SPECIFICALLY AUTHORIZED BY THE ABOVE LICENSING AGREEMENT, YOU MAY NOT USE, COPY OR TRANSFER THIS CODE, IN ANY FORM, IN WHOLE OR IN PART.

  3. RWTH Aachen may at any time assign or transfer all or part of its interests in any rights to the code and documentation, and to this license, to an affiliated or unaffiliated company or person.