Formal Verification of Emulated Floating-Point Arithmetic in Falcon.

Published in: IACR Cryptol. ePrint Arch. (2024)

Keyphrases

formal verification
floating point arithmetic
floating point
model checking
model checker
instruction set
bounded model checking
adaptive resonance theory
automated verification
symbolic model checking
fixed point
temporal logic
program slicing
data structure
low cost
distributed systems