=======
SPARK
=======

----------------
What Is SPARK?
----------------

* SPARK is

   - A programming **language**
   - A set of formal verification **tools**
   - A **design approach** for high-integrity software

* All of the above!

----------------
What Is SPARK?
----------------

* Programming language - relationship with Ada:

|

.. image:: ada_vs_spark_venn.png
   :width: 85%

