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:
There will be voluntary exercise sheets published every week and solved in the exercise class. There will be recordings of the lectures and exercise classes available in the moodle course room.
TBA