AdaCore Courses

Learn fundamental Ada programming concepts, including types, statements, arrays, records, subprograms, and packages, to write small programs effectively.

• Independent
• On-Demand
• Free Online Course

Learn formal verification techniques using SPARK 2014, a subset of Ada 2012. Explore flow analysis, program integrity proofs, state abstraction, and functional correctness verification.

• Independent
• On-Demand
• Free Online Course

This course describes how to develop concurrent application using Ada, in particular through the notion of task and protected object.

• Independent
• On-Demand
• Free Online Course

Learn Ada programming through hands-on examples, exploring language capabilities and writing small programs. Covers basics like creating a program, implementing animations, and managing multiple objects.

• Independent
• On-Demand
• Free Online Course

This course will describe Ada programming features for developing large applications, including exception handling, type safety, access types, encapsulation, and genericity.

• Independent
• On-Demand
• Free Online Course

Explore Ada's interoperability with C, C++, and Java, enhancing your multilingual programming skills and expanding cross-language development capabilities.

• Independent
• On-Demand
• Free Online Course