Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Temporal Logic and Model Checking (CST Part II)
[go: Go Back, main page]

Temporal Logic and Model Checking

Lecturer: Mike Gordon
Taken by: Part II
Number of lectures: 8
Official web page.

Printed handout, updated handout,
topics and corresponding slides, slides.

 The examinable material is what is covered in the lectures. 

Lectures given: Jan 20, Jan 23, Jan 25, Jan 27, Jan 30, Feb 01, Feb 03.

Examples classes will be run by Kathy Gray.
The rescheduled first class will be on Thursday March 8 at 2:30pm in FW26.

Exercises. (Note: material for Q14 and Q15 not covered in lectures.) and solutions.

Relevant old exam questions.

Additional reading and some interesting links.

Feedback form.