Login / Signup

Formally verified lifting of C-compiled x86-64 binaries.

Freek VerbeekJoshua A. BockenekZhoulai FuBinoy Ravindran
Published in: PLDI (2022)
Keyphrases
  • wavelet transform
  • source code
  • real time
  • open source software
  • neural network
  • knowledge base
  • high level