Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie.

Robert Reicherdt, Sabine Glesner

Browse the full SEFM paper archive.