[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / AG / MCS / Truth / Register
Printer-friendly

Nonexclusive License for Truth - Distribution Form

To download this software, you need to: select the packages, fill-out the customer information form, and accept the License.

Packages

Note: These tools/libraries may not be available in all configurations.

Truth 0.996

Please fill out the information below to give us an idea of how many people are using Truth and to inform you about the availability of updates of Truth.

Customer Information - Required

Name:
Email:
Company/University:

Nonexclusive Binary Code License

Accepting this nonexclusive 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.

For information about commercial licenses for the code you have downloaded, contact leucker@informatik.rwth-aachen.de.



To Process This Request

Press this button to:
... Make sure you have read and agree to this license.
Valid HTML 4.01 Strict! Valid CSS!