AdaCore License Agreement: What You Need to Know
AdaCore is a well-known provider of software development and verification tools for critical systems. The company`s products are widely used in the aerospace, defense, transportation, medical, and other industries where reliable and secure software is essential. If you`re using AdaCore products, you need to be familiar with the AdaCore License Agreement, which outlines the terms and conditions of using the software.
Here`s what you need to know about the AdaCore License Agreement:
1. Scope and Purpose
The AdaCore License Agreement (ALA) is a legal agreement that governs the use of AdaCore products, including the GNAT Pro development environment and the SPARK Pro verification tools. The ALA defines the rights and obligations of the licensee (you) and AdaCore and sets forth the terms and conditions of using the software. The purpose of the ALA is to ensure that you use AdaCore products in compliance with applicable laws and regulations and in a manner that protects AdaCore`s intellectual property rights.
2. License Types
There are two main types of licenses available under the ALA: Commercial and Academic. Commercial licenses are intended for use in for-profit organizations, while Academic licenses are intended for use in non-profit academic institutions. There are also evaluation licenses, which allow you to use AdaCore products for a limited time for evaluation purposes.
3. License Fees
License fees for AdaCore products vary depending on the type of license, the number of users, and the specific products and services requested. License fees are typically based on a yearly or perpetual basis. AdaCore also offers support and maintenance services for an additional fee.
4. License Restrictions
The ALA sets forth several restrictions on the use of AdaCore products. For example, you may not transfer, sublicense, or distribute AdaCore products without the prior written consent of AdaCore. You may not modify, reverse engineer, or disassemble AdaCore products, except to the extent that such activities are expressly permitted by applicable law. You must also comply with all export control laws and regulations that apply to AdaCore products.
5. Warranty and Liability
AdaCore provides limited warranties for its products, which vary depending on the specific product and service. In general, AdaCore warrants that its products will be free from defects in materials and workmanship for a specified period of time. AdaCore`s liability is limited to the amount paid by you for the specific product or service that caused the damage.
6. Termination
The ALA may be terminated by either party for various reasons, such as breach of the agreement, bankruptcy, or insolvency. Upon termination, you must immediately stop using AdaCore products and return or destroy all copies of the software and related documentation.
In conclusion, the AdaCore License Agreement is an important legal document that governs the use of AdaCore products. As a licensee, you need to be familiar with the terms and conditions of the ALA to ensure compliance and avoid legal issues. If you have any questions or concerns about the ALA, consult with your legal advisor or contact AdaCore`s customer support for assistance.