Temporal Logic and Model Checking
Lecturer: Mike Gordon
Taken by: Part II
Number of lectures: 8
Time and place: 10:00 Tuesdays and Thursdays in LT2, WGB, starting Thursday Jan 15, 2015
Official web page.
topics and corresponding slides (PDF), slides.
The examinable material is what is covered in the lectures.
Feb 10 (Ed Clarke video).
One or more examples classes will be run
by Kathy Gray.
The first class will be at 2pm on Thursday 12 February in LT1. Kathy
asked me to say:
Before the examples class, look at and
attempt questions 2, 5, 7, 8, and 12 from the supplied exercises.
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 only sketched very briefly).
Relevant old exam questions.
Additional reading and some interesting links.