---
layout: default
title: Teaching
description: The Frama-C verification platform is used for teaching, here are some available lectures.
css: publications
---
{% include headers.html header="documentation" %}
Teaching
{% include publication-entries.html category="teaching" %}