Temporal Logic and Model Checking
Lecturer: Mike Gordon
Taken by: Part II
Number of lectures: 8
Time and place: 11:00 Mon/Wed/Fri in LT2, WGB, starting April 25, 2014
Official web page.
topics and corresponding slides, slides.
The examinable material is what is covered in the lectures.
Two examples classes will be run
by Kathy Gray.
The first class will be at 4pm on Wednesday May 7 in Room FW26.
- The second class will be at 2pm on Wednesday May 21 in Room FW26.
Kathy asked me to say:
Before the second examples class, look at and
attempt questions 2, 5, 7, 8, and 12 from the supplied exercises. Come
with questions; and if I am e-mailed questions, I will attempt to
address as many as possible within the class.
and solutions (material for Q14 was not covered in the lectures).
Relevant old exam questions.
Additional reading and some interesting links.