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.

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

 The examinable material is what is covered in the lectures. 

Lectures: Apr 25, Apr 28, Apr 30, May 05, May 07, May 09, May 12, May 14.

Two examples classes will be run by Kathy Gray.

Exercises and solutions (material for Q14 was not covered in the lectures).

Relevant old exam questions.

Additional reading and some interesting links.

Feedback form.