AdaCore 4 weeks ago

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


AdaCore 4 weeks ago

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


AdaCore 4 weeks ago

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


AdaCore 4 weeks ago

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


AdaCore 4 weeks ago

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


AdaCore 4 weeks ago

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


AdaCore 5 months ago

GNAT Pro Assurance Teaser


AdaCore 8 months ago

Cost-effective Approach to Software Certification — Tech Days 2021


AdaCore 8 months ago

How auto code generation tools can help save time/money and streamline the certification process


AdaCore 8 months ago

Ada migration to Helix/VxWorks made simple — Tech Days 2021


AdaCore 8 months ago

Developing FACE™ conformant software in Ada — Tech Days 2021


AdaCore 8 months ago

Refactoring with confidence: A pattern-based approach built on top of LibAdaLang to save money


AdaCore 2 years ago

Securing the Future of Safety and Security of Embedded Software


AdaCore 2 years ago

Confident Algorithms with Formal Proof Techniques


AdaCore 2 years ago

Using AdaCore's tools with VxWorks 653 3.x


AdaCore 2 years ago

Getting Started with GNATtest (Part 1)


AdaCore 2 years ago

SPARK and Ada Do Autonomy — AdaCore R&D project with the AFRL


AdaCore 2 years ago

AdaCore Support for Embedded C/C++


AdaCore 2 years ago

Ada Language Tips


AdaCore 2 years ago

Role of Design Languages and Tools in Building Secure Systems


More Videos