Videos

What’s New in GNAT Pro: Key Features and Roadmap

How to run Ada and SPARK code on NVIDIA GPUs and CUDA

Proving Software Security with SPARK Pro

High Integrity Technology Update | April 2024

Memory Safety with Formal Proof

SPARK Pro for Embedded and Systems Programming

Developing FACE™ conformant software in Ada

Tech Days 2021

HIS 2021: Fuzzing for Airworthiness Security

JTEKT — Application of SPARK to Steering System Software Development

Engineering Self-Verified Software

Ada for the Embedded C Developer

Verifying FACE Conformance of Ada Non-OSS UoCs

Using AdaCore's tools with VxWorks 653 3.x

How To Enable the Intelligent Edge for Critical Avionics Software

AdaCore Product Update 2020

TIM Welcome Address by Dr. Franco Gasperoni, CEO, AdaCore

Confident Algorithms with Formal Proof Techniques

Getting Started with GNATtest

Beyond the boundaries of C: writing ASIL-4 software with verification-centric language —SPARK Ada and Formal Proof

NVIDIA — Securing the Future of Safety and Security of Embedded Software

The GNATPro Toolsuite Integrated Development Environment for Ada, C, and C++

CodePeer — Advanced Static Analysis for Ada

A MISRA-C Developer’s Introduction to Program Proving in SPARK — Embedded World 2019

Controlling Costs with Software Language Choice | VDC Research

Cybersecurity & You: Vulnerability Exists Between Chair and Keyboard

Ada and GPUs

Developing Embedded Systems in Ada

Building High Assurance Software without Breaking the Bank

Managing Avionics Safety Certification in UAS Platforms

AdaCore University: Programming in the Large

Rhapsody Ada and GNAT Pro integration