Extending the Model Checker [mc]square to Handle the Infineon XC167 Microcontroller

Student

Florian Scheuer

Betreuer


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