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 digital exercise class will take place every Friday from 10:30-12:00 via Zoom. See moodle for the link.
There will be voluntary exercise sheets published every week and solved in the exercise class. There will be recordings of the old lectures available in the moodle course room, and current recordings of the exercise class.
TBA
The contents of all lectures and exercise sheets will be relevant for the exam.