July 23, 2018
Recall that the exam is taking place tomorrow (Tuesday July 24) from
11:00 to 13:00
in
room
5620.01.102. More details
here.
July 14, 2018
As observed during the last class, there are inconsistencies between
the definition of Sub(ψ) in the slides and in the exam of 2015. The
reason is that the translation from LTL to Büchi automata has slightly
changed since 2015. The correct definition to use is the one of the
slides. We apologize for the confusion.
July 10, 2018
The paper on
bounded model checking discussed today in class is available
here.
July 5, 2018
Exercise sheet #11 is online.
July 4, 2018
The class of Wednesday July 11 will be a tutorial. On Thursday July
12, we will go through the
past exam of 2015.
July 4, 2018
Exercise sheet #12 is online.
June 19, 2018
Exercise sheet #9 is online.
June 6, 2018
Exercise sheet #7 is online.
May 22, 2018
Exercise sheet #6 and #8 are online.
May 16, 2018
Exercise sheet #5 is online.
April 26, 2018
Exercise sheet #4 is online.
April 24, 2018
Exercise sheet #3 is online. Please bring your laptops for the exercise session on Thursday, 26.04.
April 19, 2018
From now on, the tutorials will start at 14:05 instead of 14:00.
April 18, 2018
The paper discussed in class on the verification of Needham-Schroeder's cryptographic protocol, including the Prolema modeling, can be found
here.
April 13, 2018
Exercise sheet #2 is online.
April 12, 2018
Exercise sheet #1 is online.
March 26, 2018
Course page created.
Contact
Teaching
