Skip to main content

Doctoral dissertation: Roland Kindermann "SMT-based Verification of Timed Systems and Software"

Posted on 10 Dec 2014 15:12:37.

M.Sc. Roland Kindermann defended his doctoral dissertation SMT-based Verification of Timed Systems and Software on 9 December 2014. The opponent was Dr. Susanne Graf from the CNRS & VERIMAG Laboratory, France and the custodian was Prof. Ilkka Niemelä. Further information http://sci.aalto.fi/fi/current/events/vaitos_kindermann_roland/