Marcus Kimura Lopes, Ricardo Bedin Franca, Celso Massaki Hirata, Luiz Alberto Vieira Dias. Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models. In 8th Latin-American Symposium on Dependable Computing, LADC 2018, Foz do Iguaçu, Brazil, October 8-10, 2018. pages 125-134, IEEE, 2018. [doi]
Abstract is missing.