Initiation à la vérification
Basics of Verification

Paul Gastin

Supports de cours / Lecture notes

The main web page for this lecture is here.

2020/2021

• Slides of lectures 1 to 7.

2019/2020

• Slides of lectures 1 to 6.
• Midterm exam: questions and questions with answers

2018/2019

• Slides of lectures 1 to 7.
• Midterm exam

2017/2018

• Slides of lectures 1 to 7.
• Midterm exam

2013/2014

• Slides of lectures 1 to 5
• Midterm exam
• Slides of lecture 1, lecture 2, lecture 3, lecture 4, lecture 5.

2012/2013

• Slides of lectures 1, 2, 3, 4 and 5
• Midterm exam
• Slides of lecture 1, lecture 2, lectures 3 and 4, lecture 5.

2011/2012

• Slides of lectures 1, 2, 3, 4 and 5
• Midterm exam
• Slides of lecture 1, lectures 2 and 3, lecture 4, lecture 5

2010/2011

• Lecture notes: handout or display
• Midterm exam
• Slides of lecture 1, lecture 2, lecture 3, lecture 4, lecture 5

2009/2010

• Lecture notes
• Midterm exam: questions and solutions

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact