YouTube video by DEFCONConference

by M. Anthony Aiello – Jul 17, 2025. In the blog

YouTube video by SAE Media Group

by Stephen Hedrick – Jun 17, 2025. This blog showcases how Rust was used to implement the D*-Lite pathfinding algorithm for an autonomous Mars rover simulation. It highlights Rust’s strengths—such...

by Andrea Bristol – Jun 30, 2025. In this blog, we discover Fuzz Testing and how GNATFuzz can be used as part of AdaCore’s GNAT Dynamic Analysis Suite.

As federal deadlines loom for memory-safe code requirements, AdaCore offers practical solutions combining hardware innovation, strategic rewrites, and formal verification methods to secure legacy systems without complete overhauls.

by Andrea Bristol – May 09, 2025. This article unpacks what it means to be Secure by Design, outlining practical measures for integrating security into the software lifecycle. It highlights the critical role of formal methods, particularly the SPARK technology, in delivering on this vision.

[New York, US, 06/18/25] AdaCore, which provides software development tools for mission-critical systems, and embedded software security company CodeSecure, today announced a definitive merger agreement. The merger creates a unified company committed to advancing software safety, security, and reliability across critical industries. The merger combines two highly complementary portfolios: AdaCore’s expertise in high-integrity software development…

Two deadly Ransomware Attacks on European hospitals show cybercrime now risks lives not just data with patients dying after treatment delays.

Every enterprise is experimenting with AI, but few are achieving real value. Learn how to take advantage of AI’s transition into widespread use.

AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.

by Fabien Chouteau – Jan 30, 2023. Today I want to share a great story about why many NVIDIA products are now running formally verified SPARK code. This blog post is in part a teaser for the case stud...

As federal deadlines loom for memory-safe code requirements, AdaCore offers practical solutions combining hardware innovation, strategic rewrites, and formal verification methods to secure legacy systems without complete overhauls.

As federal deadlines loom for memory-safe code requirements, AdaCore offers practical solutions combining hardware innovation, strategic rewrites, and formal verification methods to secure legacy systems without complete overhauls.

For this three parts series, we implemented a ‘pedal to the metal’ GPIO driven, flashing of a LED, in the context of a Linux kernel module for the NVIDIA Jetson Nano development board (ker...