Edmund M. Clarke Manpreet Khaira Xudong Zhao Word Level Model Checking - Avoiding the Pentium FDIV Error. 645-648 1996 DAC http://doi.acm.org/10.1145/240518.240640 db/conf/dac/dac96.html#ClarkeKZ96