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