Login / Signup
Formally verified lifting of C-compiled x86-64 binaries.
Freek Verbeek
Joshua A. Bockenek
Zhoulai Fu
Binoy Ravindran
Published in:
PLDI (2022)
Keyphrases
</>
wavelet transform
source code
real time
open source software
neural network
knowledge base
high level