Login / Signup
Proving LTL Properties of Bitvector Programs and Decompiled Binaries.
Yuandong Cyrus Liu
Chengbin Pang
Daniel Dietsch
Eric Koskinen
Ton-Chanh Le
Georgios Portokalidis
Jun Xu
Published in:
APLAS (2021)
Keyphrases
</>
control flow
model checking
structural properties
desirable properties
reverse engineering
computer programs
real time
high level
source code
temporal logic
data flow
topological properties