ADACORE
AdaCore is the provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology.
ADACORE
Industry:
Apps Security Software
Founded:
1994-01-01
Address:
New York, New York, United States
Country:
United States
Website Url:
http://www.adacore.com
Total Employee:
101+
Status:
Active
Contact:
(212)620-7300
Email Addresses:
[email protected]
Technology used in webpage:
Domain Not Resolving Amazon Mobile Non Scaleable Content JsDelivr Cloudflare JS CDN JS U.S. Server Location CrUX Top 50m Apple Mobile Web App Capable Amazon Virginia Region
Similar Organizations
AlterMedia, Inc.
AlterMedia is the producer of Studio Suite, a project management application for the media and entertainment industry.
Genetec
Genetec is a Canadian provider of IP video surveillance, access control and license plate recognition solutions in a single platform.
Lamantine Software
Secure your online information, create strong passwords, utilize automatic login & easy one-click form filling.
MagCorp Solutions
MagCorp Solutions is a provider of a PC-based application to assess Medicaid eligibility.
NINJA-IDE
NINJA-IDE is a cross-platform integrated development environment (IDE).
OpenShift
OpenShift is an open hybrid cloud application platform by Red Hat.
Current Advisors List
Current Employees Featured
Founder
Acquisitions List
| Date | Company | Article | Price |
|---|---|---|---|
| 2021-02-17 | Componolit | Componolit acquired by AdaCore | N/A |
Newest Events participated
Participated in ARM TechCon
on 2017-10-24 as exhibitor
Participated in TU-Automotive Detroit 2017
on 2017-06-07 as exhibitor
Official Site Inspections
http://www.adacore.com Semrush global rank: 1.23 M Semrush visits lastest month: 22.77 K
- Host name: adacore.com
- IP address: 45.55.40.183
- Location: Clifton United States
- Latitude: 40.8364
- Longitude: -74.1403
- Metro Code: 501
- Timezone: America/New_York
- Postal: 07014
More informations about "AdaCore"
AdaCore - Crunchbase Company Profile & Funding
AdaCore is the provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are …See details»
AdaCore 2025 Company Profile: Valuation, Funding & Investors
AdaCore General Information Description. Developer of software development tools designed for building safe, secure, and reliable software. The company's tool offers a comprehensive set of …See details»
AdaCore - LinkedIn
AdaCore | 11,032 followers on LinkedIn. Helping Developers Build Software that Matters | AdaCore's mission is to help people build software that matters. In the modern world there is …See details»
ADACORE Company Profile | PARIS, ILE DE FRANCE, France
Find company research, competitor information, contact details & financial data for ADACORE of PARIS, ILE DE FRANCE. Get the latest business insights from Dun & Bradstreet.See details»
AdaCore - Org Chart, Teams, Culture & Jobs | The Org
View AdaCore's up-to-date org chart, open roles, and culture details. Find executives, board members, teams, related companies, and more. This is an unverified company page.See details»
AdaCore - LDRA
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Over the years, customers have used …See details»
Commercial software solutions for Ada, C and C++ | AdaCore
Tried and Tested in the Most Demanding Industries. AdaCore's products have a proven track record in helping customers develop and verify high-assurance software across domains such …See details»
AdaCore | Rapita Systems
Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications, many with hard real-time requirements, in domains such as space …See details»
About AdaCore
Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. With over two decades of experience working with the most respected …See details»
AdaCore — The First 25 years
In July 2019, AdaCore is turning 25. On the occasion of this significant anniversary, we want to look back on where we have travelled, where we are now, and where we are going, in our …See details»
Celebrating 30 years of AdaCore
AdaCore is known for putting its customers' needs first. Quentin Ochem has worked at AdaCore for 20 years and is now Chief Product and Revenue Officer, “I’ve had the opportunity to …See details»
AdaCore Joins Rust Foundation as Silver Member
AdaCore, a trusted provider of software development and verification tools, is pleased to announce that it is now a Silver Member of the Rust Foundation, an independent non-profit …See details»
LEARN.ADACORE.COM
LEARN.ADACORE.COM Edit on GitHub What is Ada and SPARK? Ada is a state-of-the art programming language that development teams worldwide are using for critical software: from …See details»
AdaCore’s 2024; Highlights from our 30th year in Business
Dec 11, 2024 As AdaCore celebrates the start of a new year in business, we reflect on 2024, a year of development and future-proofing combined with consolidating our position as the …See details»
The AdaCore Blog
May 23, 2025 In addition, AdaCore evaluated security claims made by the CHERI community through the Digital Security by Design (DSbD) initiative. The goal was to inform Edge Avionics …See details»
AdaCore Memories: the stories behind the first 30… | The AdaCore …
Oct 8, 2024 As part of our 30 years of AdaCore celebrations, we spoke to some of our founders to discover the stories that built what we are so proud of today. Ed Schonberg and Richard …See details»
Services | AdaCore
AdaCore experts can reduce these start-up costs through our Mentorship program, which provides help through a combination of phone calls and consulting on code development. The …See details»
Ada and SPARK enter the automotive ISO-26262 market with
8 hours ago High-integrity software tooling experts, AdaCore, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive …See details»
AdaCore and NVIDIA Bring Ada, SPARK Languages to …
1 day ago AdaCore introduced the Ada and SPARK programming languages into the automotive industry. While partnering with NVIDIA, and employing NVIDIA’s Drive OS, AdaCore …See details»
7. Test Organization — AUnit Cookbook 26.0w documentation
Test Organization 7.1. General considerations This section will discuss an approach to organizing an AUnit test harness, considering some possibilities offered by Ada language features. The …See details»