Все публикации

0:04:59

Life at AdaCore

2:35:40

Ada and SPARK for Academics Workshop 2024 | GNAT Academic Program

0:32:47

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

1:11:52

High Integrity Technology Update | April 2024

0:48:42

Proving Software Security with SPARK Pro

0:39:16

Memory Safety with Formal Proof Webinar

0:46:05

Webinar | SPARK Pro for Embedded and Systems Programming

0:13:59

Update on the Ada Community and Alire Package Manager (AdaCore GAP Workshop June 21, 2023)

0:17:26

Update on AdaCore Technologies for Academia (AdaCore GAP Workshop June 21, 2023)

0:25:16

SPARK/Ada for High Integrity Spacecraft Software (AdaCore GAP Workshop June 21, 2023)

0:38:07

Real-Time Parallel Programming (AdaCore GAP Workshop June 21, 2023)

0:03:00

GAP Capstone Projects (AdaCore GAP Workshop June 21, 2023)Description:

0:19:41

Design and Implementation of a Networked, Embedded Oscilloscope (AdaCore GAP Workshop June 21, 2023)

0:24:14

Assertive Programming with SPARK (AdaCore GAP Workshop June 21, 2023)

0:00:50

adareducer at work

0:14:55

Unity & Ada

0:32:08

Introducing Students to Formal Methods through SPARK (AdaCore GAP Workshop June 21, 2022)

0:37:34

Developing a Secure Programming Course (AdaCore GAP Workshop June 21, 2022)

0:17:27

Update on the Ada Community and Alire Package Manager (AdaCore GAP Workshop June 21, 2022)

0:39:19

SPARK/Ada in Formal Software System Modeling and Design (AdaCore GAP Workshop June 21, 2022)

0:19:22

Technical Update on Ada, SPARK, Libadalang, and VS Code (AdaCore GAP Workshop June 21, 2022)

0:43:02

The Beauty of Epiphanies in the Learning of Concurrency (AdaCore GAP Workshop June 21, 2022)

0:02:31

GNAT Pro Assurance

0:26:06

Developing FACE™ conformant software in Ada — Tech Days 2021