Y. Bertot

Preuve et programmation fiable

L'objectif de ce cours est de décrire comment produire des programmes entièrement corrects vis-à-vis de spécifications logiques en utilisant le système de preuve Coq.

S3 OPT 3 ECTS 24h
Y. Bertot Site web