Legal
Product Terms and Conditions
This page provides the standard terms and conditions governing each category of AdaCore products and services. AdaCore's applicable terms are included or referenced in all quotes. By issuing a purchase order, customers confirm acceptance of those terms. Customers wishing to propose modifications or raise objections to any provision are encouraged to do so before issuing a PO, so that any agreed changes can be reflected in the final agreement.
- Terms Applicable to Subscriptions (GNAT Pro, CodeSonar, GNAT SAS, GNAT SAS, SPARK Pro)
- Terms Applicable to Special Developments and Certification Activities
- Terms Applicable to Certification Document Package Maintenance
- Terms Applicable to Advisory Services (Training, Consulting, Mentorship)
- 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.