Ada and SPARK have typically been used for applications that require high levels of safety, reliability and security. These articles take a look at different aspects of the Ada programming langauge ...