teaching.md

---
layout: clean_page
---
# Frama-C in teaching

This page lists various courses that are using Frama-C in their lab
lessons.

## In English

  - [University of Minho: Formal Methods in Software
    Engineering](http://mei.di.uminho.pt/?q=en/1112/mfes-uk)
  - [University College London: Language-based
    security](http://www.mupuf.org/blog/2014/02/10/a_return_into_the_world_of_frama-c)

## In French

  - [ENSIIE Evry: Static Analysis of Programs](/dokuwiki/ensiie.html)
  - [École Polytechnique: Initiation to Program
    Proof](http://www.enseignement.polytechnique.fr/profs/informatique/Sylvie.Putot/Enseignement/SemantiqueValidation/TP6.html)

## In other languages

  - [Moscow State University: Formal Specification and Verification (in
    Russian)](http://sed.ispras.ru/fmprac)