Guide to SPARK Ada Examples

Overview

• Examples for Getting Started (includes example similar to coursework)
• Examples in Lecture can be found here
• Examples involving Functions (useful for Coursework 1)
• Examples of using IO
• Examples involving a loop
• Examples of Critical Systems
• Examples in the Distribution of SPARK Ada
• Examples from other Resources
• Back to main page SPARK 2014 - Documentation and Examples

Obtaining the Examples (git repository)

• See Instructions for downloading the git repository containing the examples together with how to read paths
• Please check the README.txt files in the examples for additional information.
• All paths mentioned below refer to this repository