Vinh D. Thai, Tho T. Quan, Tien V. Le, Binh T. Ngo. An Approximation-Based Abstract Interpretation Framework for Formal Verification of Floating-Point Programs. In 2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), Ho Chi Minh City, Vietnam, February 27 - March 1, 2012. pages 1-4, IEEE, 2012. [doi]
Abstract is missing.