Login / Signup
Get rid of inline assembly through trustable verification-oriented lifting.
Frédéric Recoules
Sébastien Bardin
Richard Bonichon
Laurent Mounier
Marie-Laure Potet
Published in:
CoRR (2019)
Keyphrases
</>
wavelet transform
model checking
formal verification
social networks
image processing
formal methods
verification method
data sets
neural network
decision making
knowledge base
case study
video sequences
process planning