SPARK Pro for Embedded and Systems Programming | AdaCore Webinar

In this webinar, Yannick Moy outlines key features of SPARK Pro, including demos on pointer ownership, function contracts and safe type casting.

Watch this session to learn more about:

• The rich possibilities for data representation in SPARK
• Available contracts on data types
• The ownership principle for tracking pointers to data
• Available contracts on functions
• Handling of bindings with C libraries, safe type casting, software-hardware interactions
• Specializing the analysis for a given target platform