Adacore
adacore.com
Information Security
Cybersecurity
Embedded Software & RTOS
Developer Tools
As featured in
Claim pageClaim
Follow
Overview
News
Salaries
Products
People
Growth
Offices
Financials
Funding and backers
Backers
1
Battery Ventures
Momentum
15/100
in the news
Last sign of life
2 mo ago
a posting or a news item
The story so fareach stage dated by its source: the company's releases, the press, registers, filings
Oct 2026
Formerly CodeSecure (codesecure.com)
Feb 10, 2025
On the Hacker News front page Nvidia Security Team: “What if we just stopped using C?” (2022) · 306 points
Nov 7, 2022
On the Hacker News front page Nvidia Security Team: “What if we just stopped using C?” · 257 points
Jul 4, 2022
On the Hacker News front page I can’t believe that I can prove that it can sort · 270 points
Feb 2, 2022
On the Hacker News front page AdaCore and Ferrous Systems Joining Forces to Support Rust · 357 points
Sep 3, 2020
On the Hacker News front page Introduction to Ada · 206 points
Tractionpublic signals, read monthly
Web presence
top 0.32%
of 133.2M domains by links, Common Crawl
Hacker News stories
203
best: 357 points
Backed byfrom the funds' portfolios and accelerator catalogs
Battery Ventures Investors in similar startupsfunds that back the companies most like this one
Similar startupsby what they do, their industry and backers
FreeWheel provides comprehensive media buying platforms for publishers, advertisers, and ad buyers. Learn more about our offerings and…
Orkes builds a managed platform around the open source Conductor orchestration engine. Its service coordinates distributed microservices…
Baz is an engineering review platform for implementation plans, pull requests, security findings, and merge decisions, reading your whole…
Code Metal is a Boston-based AI software company that builds verifiable code translation tooling, porting, optimising and proving the…
Perseus guarantees that the automotive industry's top brands capture opportunities for enhanced security and performance in a connected…
Pollie builds robust internet systems, currently focused on Skribby, a meeting bot API for developers.
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
How to Prove the Correctness of AI-Generated Code Using…
More and more code is being generated by AI, generated by non-deterministic models from ambiguous text in English or another language. How do you prove…
Read more
Report
Rust Memory Management: The Playroom Analogy
This article builds on 'Introduction to Ada: a project-based exploration with rosettas', which walked through the development of a fun, end-to-end…
Read more
Report
Surprising Places Where Ada Is Used
Ada has entered the top 10 of the PYPL index, reflecting renewed interest in a language long associated with safety-critical and real-time systems. While…
Read more
Report
Proving Safety at Scale: SPARK, RISC-V, and NVIDIA's Security Strategy
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ - helping developers build safe and secure software that matters.
Read more
Report
Introduction to Ada: a project-based exploration with rosettas
Discover Ada through a fun, project-based tutorial! Learn the language's clarity, safety, and modern features while building an SVG rosetta generator. A…
Read more
Report
Show more news