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.

Printed handout (1up), updated handout (1up),
topics and corresponding slides (PDF), slides.

 The examinable material is what is covered in the lectures. 

Lectures (initially taken from the 2014 course; will be updated after each 2015 lecture)
Jan 15, Jan 20, Jan 22, Jan 27, Jan 29| Feb 03, Feb 05, Feb 10.

Examples classes
One or more examples classes will be run by Kathy Gray.

Exercises and solutions (material for Q14 was not covered in 2014 and may not be covered in 2015).

Relevant old exam questions.

Additional reading and some interesting links.