Legal Notices

Product Terms and Conditions

Please refer to our Terms and Conditions.

Privacy Statement

Please refer to our Privacy Policy.


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.