Extending the Model Checker [mc]square to Handle the Infineon XC167 Microcontroller
Student
Florian Scheuer
Betreuer
Dr.rer.nat. Bastian Schlich