Verification

Practise Sheet on LTL and Midterm Office Hour

Written on 13.05.2025 14:53 by Tobias Gürtler

Dear Students,

The topic of todays lecture, i.e. Linear Time Logic, will be relevant for the midterm exam. In order to help you prepare we have released this week's exercise sheet on LTL early. We also understand that the tutorial which would discuss this sheet only takes place after the midterm, and so we have uploaded the sample solution to the sheet as well. 

Furthermore, there will not be a lecture next Monday. Instead, we will be offering an Office Hour in the lecture hall where you can stop by and ask any questions you might have. 

Finally, we want to highlight again that the midterm exam next week takes place at 14 o'clock in Lecture Hall 1 of E2.5. This means the midterm exam takes place after the usual lecture time slot.

Kind Regards,

The Verification Team