Videos

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

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

Confident Algorithms with Formal Proof Techniques

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

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