Legal
Product Terms and Conditions
This page allows you to access the consolidated Terms and Conditions (T&C’s) applicable to each type of AdaCore product.
A copy of the relevant T&C’s is included or referenced in each of our quotes for all the quoted services so that you can confirm acceptance of these terms on your PO, or, if you object to any included term or have additional or replacement terms, there is time to discuss those proposed terms or changes with us before you issue your PO.
- Terms applicable to GNAT Pro, GNAT DAS, GNAT SAS and SPARK Pro Subscriptions
- Terms applicable to CodeSonar Licenses and Maintenance
- Terms applicable to Special Development and Certification Activities
- Terms applicable to Certification Documentation Package Maintenance
- Terms applicable to Mentorship Activities
- Terms applicable to Consulting Activities
- Terms applicable to Training
- Terms applicable to Subscription Evaluations
Privacy Statement
Please refer to our Privacy Policy.
Cookie Policy
Please refer to our Cookie Policy.
Trademarks
The following trademarks are the property of AdaCore:
- GNAT Pro
- GNAT Dynamic Analysis Suite
- GNAT Static Analysis Suite
- GNAT IQ
- GNAT Studio
- CodePeer
- CodeSonar
- CodeSurfer
- SPARK Pro
The SPARK programming language is not sponsored by or affiliated with SPARC International Inc and is not based on the SPARC(tm) architecture.
Third Party Trademarks include:
- HP-UX and OpenVMS are trademarks of Hewlett-Packard.
- Solaris and Java are trademarks of Oracle.
- Mac and Mac OS are trademarks of Apple Inc.
- Motif and UNIX are trademarks of The Open Group.
- Microsoft Windows and .NET are trademarks of Microsoft Corporation.
- VxWorks and VxWorks 653 are trademarks of Wind River Systems, Inc.
- LynxOS is a trademark of LynuxWorks, Inc.
- Intel is a trademark of Intel Corporation.
- Eclipse is a trademark of Eclipse Foundation, Inc.
- MATLAB(R), Simulink(R) and Stateflow(R) are registered trademarks of
The MathWorks, Inc.
All other brand and product names may be trademarks of their respective holders.