T

Three-Tier-FPA-Benchs

Material used to evaluate Alt-Ergo's Floating-Point reasoning approach described in the CAV'17 paper: A Three-tier Strategy for Reasoning about Floating-Point Numbers in SMT