Abstract Compilation for Verification of Numerical Accuracy Properties

Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov +2

Verification of numerical accuracy properties in modern software remains an important and challenging task. This paper describes an original framework combining different solutions…