Login / Signup

A Two-Phase Approach for Conditional Floating-Point Verification.

Debasmita LoharClothilde JeangoudouxJoshua SobelEva DarulovaMaria Christakis
Published in: TACAS (2) (2021)
Keyphrases
  • floating point
  • fixed point
  • square root
  • model checking
  • sparse matrices
  • fast fourier transform
  • formal methods
  • artificial intelligence
  • image processing
  • high quality
  • general purpose