Alexandre Chapoutot, Laurent-Stephane Didier, Fanny Villers. Range estimation of floating-point variables in Simulink models. In Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, DASIP 2012, Karlsruhe, Germany, October 23-25, 2012. pages 1-8, IEEE, 2012. [doi]
Abstract is missing.