Login / Signup

Verifying bit-manipulations of floating-point.

Wonyeol LeeRahul SharmaAlex Aiken
Published in: PLDI (2016)
Keyphrases
  • floating point
  • fixed point
  • square root
  • model checking
  • fast fourier transform
  • instruction set
  • information systems
  • floating point arithmetic
  • high quality
  • graphical models
  • floating point unit