Legal Notices


The trademarks displayed on this site are the property of AdaCore or other third parties.

The SPARK programming language is not sponsored by or affiliated with SPARC International Inc and is not based on the SPARC(tm) architecture.

  • 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.

Privacy Statement

At AdaCore, your privacy is important to us. This privacy policy, which applies to all personal data collected on AdaCore websites, describes how we collect, store and use your personal data. We may publish changes to this policy due to new legal requirements or for reasonable business purposes. However, such changes will continue to allow you to opt out at any time. 

We specify the purpose of each submission any time you submit such data on one of our forms and we use it only for that purpose. We may also use cookies and other traffic analysis tools to better know our audience and aid in website navigation.

If you request information relating to solutions we provide jointly with another company, we may share the data they need to answer your request. In addition, we may disclose your data to our providers of e-mail distribution and customer management services to be used exclusively on our behalf.  Other than those cases, we never disclose your data to third parties.

Your data will be stored by AdaCore SAS in France, Ada Core Technologies Inc. in the United States, and by the above providers in compliance with directive 95/46/EC and regulation 2016/679/EU (which include confidentiality and security provisions) for the exclusive purpose of providing the services you subscribed to until you opt-out. Please note that your data may remain in our disaster-recovery systems or with third-party providers for some time after you opt-out.

You always have the right to access or modify your data or to opt out from our services. If you wish to do so or have questions about AdaCore’s use of your personal data, please contact us.