Overflow and Roundoff Error Analysis via Model Checking.

Do Thi Bich Ngoc, Mizuhito Ogawa

Browse the full SEFM paper archive.