=====
Lab
=====

----------------
SPARK Tutorial
----------------

* Open the SPARK User's Guide

  - From your SPARK release (under menu :menu:`Help` |rightarrow| :menu:`SPARK`
    |rightarrow| :menu:`SPARK User's Guide` in :toolname:`GNAT Studio`)

  - Or online at :url:`https://www.adacore.com/documentation`

* Go to section 6 about the :menu:`SPARK Tutorial`
* Follow intructions to use the development and analysis tools
* Discuss these with the instructor

