Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Welcome to SOAMED


 

Dr. Robert Reicherdt

 

Member at SOAMED:


2013 - 2015

Advisor:

Prof. Glesner TU Berlin

Title of thesis:

A Framework for the Automatic Verification of Discrete-Time MATLAB Simulink Models using Boogie

Defended on July 10, 2015

Homepage:

robert_reicherdt