Product Terms and Conditions
Please refer to our Terms and Conditions.
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.