Ada as a platform for reliable software development

This video introduces the latest developments in Ada-related technologies. It presents how the language is used as the basis for a reliable software development environment, for example through SPARK. It discuss the new platforms on which the technology is available, in particular ARM Cortex.

Links to more information: