An Approximation-Based Abstract Interpretation Framework for Formal Verification of Floating-Point Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Vinh D. Thai' in GoogleThis author has not been identified. Look up 'Tho T. Quan' in GoogleThis author has not been identified. Look up 'Tien V. Le' in GoogleThis author has not been identified. Look up 'Binh T. Ngo' in Google

runs on WebDSL