Model-Checking of Instruction List Programs for Programmable Logic Controllers using [mc]square

Student

Jörg Wernerus

Tutor


RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany