2024-05-13 - SPARK
========================================================================

This page contains links to everything you will need for this training class.

Files
-----

* `Slides <https://public-training.adacore.com/2024/05/13/germond/slides.pdf>`_

This is a PDF copy of the slides presented during the course.

* `Labs <https://public-training.adacore.com/2024/05/13/germond/labs.zip>`_

ZIP archive of the labs being done during the class.

Links
-----

* `SPARK User Guide <https://docs.adacore.com/live/wave/spark2014/html/spark2014_ug/index.html>`_
* `Abstract Interpretation in a Nutshell <https://www.di.ens.fr/~cousot/AI/IntroAbsInt.html>`_

Cousot's introduction to AbsInt

Schedule
--------

.. include:: 2024-05-13-schedule.rst