06.
06.
2014
Verifying Cyber Physical Systems --- A CMU Experience Report
Marcus Voelp
TU Dresden
During my stay at the Carnegie Mellon University, I was involved with
Andre´ Platzer an his group in the verification of cyber physical
systems. In this talk, I will give an overview about cyber phyical
systems, the methods we used to verify them and the specific topics I
have worked on. In addition, I would like to share with you some of my
experiences being at an american elite university.
|