TY  - RPRT
TI  - Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended)
AU  - Yuandong Cyrus Liu
AU  - Chengbin Pang
AU  - Daniel Dietsch
AU  - Eric Koskinen
AU  - Ton-Chanh Le
AU  - Georgios Portokalidis
AU  - Jun Xu
PY  - 2021
UR  - https://arxiv.org/abs/2105.05159
ID  - 2105.05159
ER  -