Basics of Verification"); STYLELSV(); MKPAGE(); ?>
Paul Gastin
Supports de cours / Lecture notes
The main web page for this lecture is
here
.
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