https://www.adacore.com/static-analysis-suite
Dec 10, 2025 - Advanced static analysis for Ada: detect defects, CWEs and coding standard violations early; support compliance and strengthen mission-critical software.
static analysisgnatsuiteadacore
https://www.adacore.com/blog/formal-methods-in-practice-government-lessons-in-resilience-and-adoption-context
Oct 3, 2025 - As the software landscape grows ever more complex and interconnected, the demand for resilient, high-assurance systems continues to rise, especially…
formal methodspracticegovernmentlessonsadacore
https://www.adacore.com/dynamic-analysis-suite
Dec 2, 2025 - Ensure correct behaviour in action—GNAT DAS unifies unit tests, fuzzing and multi-language coverage to meet DO-178C, ISO 26262 and EN 50128.
gnatdynamicanalysissuiteadacore
https://www.adacore.com/blog/ada-and-rust-are-highlighted-by-the-nsa-and-cisa-in-memory-safe-language-information-sheet
Nov 18, 2025 - Governments trust memory-safe languages like Ada and Rust — so do we. See why memory safety is essential for secure systems.
adarusthighlightednsacisa
https://www.adacore.com/gnatpro
Dec 2, 2025 - Build dependable software with GNAT Pro—Ada/C/C++/Rust toolchains, IDE integration, SBOMs and certification paths (DO-178C, ISO 26262, EN 50128).
gnatproadacore
https://www.edgecomputing-news.com/news/rapita-systems-showcases-adacores-gnat-pro-for-rust-at-hisc/
Aug 29, 2025 - Rapita Systems showcases AdaCore's GNAT Pro for Rust at HISC - Edge Computing News
systemsshowcasesadacoregnatpro
https://www.adacore.com/blog/what-would-ada-think-of-the-rise-in-ada-language-popularity
Oct 27, 2025 - This Ada Lovelace Day, we are celebrating what has been a positive year for the Ada Programming Language, and we ask ourselves, what would Ada think?…
wouldadathinkriselanguage
https://www.adacore.com/blog/solving-sudoku-with-adasat
Sep 26, 2025 - Originally, constraint solving in Libadalang was handled by several ad-hoc solvers built specifically for different parts of the type system. These…
solvingsudokuadacore
https://www.adacore.com/gnat-pro-for-c-c-plus-plus
Dec 2, 2025 - GNAT Pro for C/C++: robust compilers, IDE integration and long-term support to deliver reliable, secure code for safety-critical systems.
gnatproc
https://www.adacore.com/nvidia
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.
software solutionsada ccommercialadacore
https://www.adacore.com/videos/optimize-devsecops-with-static-analysis-codesonar-webinar
Nov 19, 2025 - Finding the Needle in a Haystack with CodeSonar DevSecOps offers the promise of delivering solutions faster, with higher quality, and more security. The…
static analysisoptimizedevsecopsadacore
https://www.adacore.com/sparkpro
Dec 3, 2025 - SPARK Pro brings formal proof to Ada: absence of runtime errors, memory safety and functional correctness for embedded, high-integrity systems.
sparkproadacore
https://www.adacore.com/blog/whats-all-the-fuzz-about
Oct 3, 2025 - In this blog, we discover Fuzz Testing and how GNATFuzz can be used as part of AdaCore’s GNAT Dynamic Analysis Suite.
fuzzadacore
https://www.adacore.com/blog/revisiting-the-mars-rover-safety-monitor
Nov 18, 2025 - In the blog "Let's Write a Safety Monitor for a Mars Rover", I made a big assumption in the procedure that moves that Rover forward; here, I...
mars roverrevisitingsafetymonitoradacore
https://www.adacore.com/gnat-pro-for-rust
Dec 2, 2025 - GNAT Pro for Rust provides a stable, secure, and certifiable Rust toolchain with long-term support for high-integrity, safety-critical software…
gnatprorustadacore
https://www.adacore.com/press/lauterbach-supports-adacore-ada-development-platform-for-safety-critical-applications
Nov 24, 2025 - Lauterbach's TRACE32® is the industry's first development tool suite to fully support the AdaCore GNAT Pro Ada compiler, which is designed for…
development platformlauterbachsupportsadacore
https://www.adacore.com/codesonar
Nov 14, 2025 - Find serious bugs early with CodeSonar: whole-program static analysis, multi-language support, DevSecOps integrations and compliance checks.
adacore
https://www.adacore.com/blog/announcing-the-2025-ada-spark-crate-of-the-year-award
Oct 2, 2025 - We're happy to announce the fifth edition of our programming awards, The Ada/SPARK Crate of the Year Award! The Alire package manager is a game changer…
announcingadasparkcrateyear
https://www.adacore.com/case-studies/nvidia-adoption-of-spark-new-era-in-security-critical-software-development
Nov 3, 2025 - This case study examines the challenges faced by companies in confronting increasingly hostile cybersecurity environments and how NVIDIA is tackling this…
new eranvidiaadoptionsparkushers
https://www.adacore.com/blog/a-new-booklet-on-adacore-technologies-for-airborne-software
Nov 3, 2025 - AdaCore has posted a new version of its booklet AdaCore Technologies for Airborne Software: Supporting certification and tool qualification for…
newbookletadacoretechnologiesairborne
https://www.adacore.com/blog/introduction-to-ada-a-project-based-exploration-with-rosettas
Oct 2, 2025 - Discover Ada through a fun, project-based tutorial! Learn the language’s clarity, safety, and modern features while building an SVG rosetta generator. A…
introductionadaprojectbasedexploration
https://www.softwareheritage.org/2021/09/07/adacore-2/
Oct 25, 2024 - A longstanding, stable software repository like the Software Heritage is of direct interest to us, since our aerospace and defense customers are often...
software heritageadacore
https://www.adacore.com/blog/from-interns-to-new-hires-writing-the-next-chapter-at-adacore
Oct 9, 2025 - Mathéo Rome, Anne-Lise Magagnin, and Julian Coux share their experiences as interns at AdaCore, where they worked on independent projects while being…
new hiresnext chapterinternswriting