Customized Private Training
Ada is an extremely learnable language, and AdaCore can facilitate the journey to knowledge with courses that range from language fundamentals to advanced concepts and tools topics. We offer a range of courses led by expert instructors. We offer private sessions of customized, live training courses for companies and small groups. Please inquire with any questions regarding: pricing, availability of instructors for scheduling, and customization of the training courses listed below.
Contact: info@adacore.com
Ada Essentials
This course provides a full introduction to programming in Ada, with topics that are tailored based on customer requirements. It explains Ada’s fundamental programming features, emphasizing how to construct modular, portable, and reliable systems. It is up to date with the most recent version of the language standard.
A standardized version of this course is offered periodically for individuals and small groups. See more here.
SPARK Essentials
A three-day course for programmers, managers, and software assessment/regulation personnel, which presents the principles of high assurance software development and verification using SPARK. The course explains the rationale of SPARK, describes the language and the principles of formal methods analysis, and shows how to use the SPARK language and the SPARK Pro Toolset both in new projects and in the context of existing (legacy) systems.
GNAT Static Analysis Suite (SAS)
Static analysis is a complex subject, which the GNAT SAS is designed to help you tackle. Through a mix of training, dedicated “mini-mentorship”, and customization work, AdaCore can help you set up a fully functional static analysis workflow on your codebase, adapted to your use case.