This lecture teaches the basics and applications of static analysis and model checking in the domain of logic control software. To this end, common analyses and algorithms are applied to the cyclic execution model of programmable logic controllers. Topic are, among others:
The lecture and exercise will take place on Mondays at 16:30 in AH IV and Tuesdays at 12:30 in AH V
There will be voluntary exercise sheets published every week and solved in the exercise class. There will be recordings of the lectures and exercise class available in the moodle course room. We still suggest regular attendance
There will be two periods for oral exams in February and March
The contents of all lectures and exercise sheets will be relevant for the exam.