AdaCore

46 thousand subscribers

29 videos

01 January 1970

Webinar | SPARK Pro for Embedded and Systems Programming

13 February 2024

Memory Safety with Formal Proof Webinar

01 January 1970

Proving Software Security with SPARK Pro

01 April 2018

Understanding Code with GPS

18 September 2018

Ada 003 - Lesson 2 - Type Safety

01 December 2021

AdaCore: Helping People Build Software That Matters

16 February 2016

Model-Based Development with QGen by Tucker Taft

18 February 2018

FOSDEM 2018 - Langkit: Source Code Analyzers for the Masses

06 November 2017

Getting started with GNAT Programming Studio

01 April 2018

Debugging with GPS

24 April 2023

adareducer at work

27 August 2011

Ada based Automatic Code Generation Tools in DO178B context

14 February 2020

Ada Language Tips

17 September 2018

Ada 002 - Lesson 6 - Packages

09 October 2019

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

29 April 2024

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

Watch online 298 uploaded videos of the channel AdaCore in high quality and without registration. This author has AdaCore 46 thousand views and subscribers. Don't forget to check out the latest issue Webinar | SPARK Pro for Embedded and Systems Programming which has been uploaded 01 January 1970 for viewing on any device