Login / Signup
Get Rid of Inline Assembly through Verification-Oriented Lifting.
Frédéric Recoules
Sébastien Bardin
Richard Bonichon
Laurent Mounier
Marie-Laure Potet
Published in:
ASE (2019)
Keyphrases
</>
wavelet transform
model checking
artificial intelligence
formal methods
formal verification
real world
genetic algorithm
decision trees
data structure
formal analysis
process planning
concurrent systems