Automatic Verification of Floating-Point Accumulation Networks.

David Kai Zhang, Alex Aiken

Browse the full CAV paper archive.