PHILIP BEN HEINRICH TASCHE, M.SC.
Formal Methods and Tools Group, University of Twente
PhD student in the SAVES project, a WWU-UT collaboration
Research Interests:
- Embedded Software Verification
- Formal Verification of integrated Hardware/Software Systems