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

Paula Herber, Robert Reicherdt, Patrick Bittner. Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving. In Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013. pages 1-10, IEEE, 2013. [doi]

Abstract

Abstract is missing.