AdaCore Technologies IncAdaCore is a Wind River Strategic Partner. Both companies have a long history of successfully serving embedded customers using our joint solution.
With Ada 2012, AdaCore brings the latest evolution in programming languages to Wind River embedded operating systems, providing additional safety through the use of contracts in programs (pre-, postconditions, invariants).
AdaCore supports and is integrated with the VxWorks and Wind River Linux product lines."
AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com
North American Headquarters:
104 Fifth Avenue, 15th Floor, New York, NY 10011
Tel: (212) 620-7300
Fax: (212) 807-0162
46 rue d’Amsterdam, 75009 Paris, France
Tel. +33 1 49 70 67 16
Fax +33 1 49 70 05 52
If you are interested in more information on how Wind River partners with this company, click here.