Towards Automated Verification of Logarithmic Arithmetic

Mark G. Arnold, Thomas A. Bailey, John R. Cowles

Correctness proofs for floating point programs are difficult to verify. To simplify the task, a similar, but less complex system, known as logarithmic arithmetic can be used. The B…