Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving.

Paula Herber, Robert Reicherdt, Patrick Bittner

Browse the full EMSOFT paper archive.