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