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.
All other brand and product names may be trademarks of their respective holders.
At AdaCore, your privacy is important to us and we never share the information you provide us with third parties without your permission. However, if you request information relating to joint solutions with another company then we may share necessary information in order to answer your request. Please note that data collected on our websites may be stored by both companies in our offices in the United States and France.
You have the right to access your personal data and modify it should you so wish.
If you have any questions about AdaCore’s use of your personal information, please contact us at:
North American Office
150 W. 30th Street, 16th floor
New York, NY 10001
Tel. +1 212 620 7300
Fax +1 212 807 0162
46 rue d’Amsterdam
Tel. +33 1 49 70 67 16
Fax +33 1 49 70 05 52