Reicherdt, Robert https://www.informatik.hu-berlin.de/en/forschung-en/gebiete/soamed-en/al/rr https://www.informatik.hu-berlin.de/@@site-logo/og_logo.png Humboldt-Universität zu Berlin | Faculty of Mathematics and Natural Sciences | Department of Computer Science | Welcome to SOAMED | Alumni | Reicherdt, Robert 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