Adacore
adacore.com
As featured in
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
Discover AdaCore's commercial software solutions for Ada, C, and C++. Benefit from expert support, robust analysis tools, and trusted certification-ready platforms for high-integrity systems across aerospace, automotive, defence, medical, and rail industries.
News
How Language Design Impacts Security
In this blog we have created a table listing each CWE and/or CWE class, along with how each programming language addresses that category.
Read more
Report
Formally Verified Hashed Sets in Ada SPARK
This blog explores the formal verification of an implementation of bounded hashed sets in Ada SPARK.
Read more
Report
AdaCore Software Supply Chain Security Evolution
AdaCore has elevated its software supply chain practices and now generates its deliverables in a CMMC Level 2 and SLSA build level 3 compliant…
Read more
Report
Formal Methods Practice and Theory
Formal methods offer a rigorous way to connect requirements to implementation, enabling developers to prove key properties such as the absence of run-time…
Read more
Report
Pro access
Upgrade to see all 40 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.