Overflow and Roundoff Error Analysis via Model Checking. - Do Thi Bich Ngoc; Mizuhito Ogawa (SEFM, 2009)

Checking roundoff errors using counterexample-guided narrowing. - Do Thi Bich Ngoc; Mizuhito Ogawa (ASE, 2010)