@misc{indiciaea33f059a013e,
  title = {Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended)},
  author = {Yuandong Cyrus Liu and Chengbin Pang and Daniel Dietsch and Eric Koskinen and Ton-Chanh Le and Georgios Portokalidis and Jun Xu},
  year = {2021},
  url = {https://arxiv.org/abs/2105.05159},
  note = {Source identifier: 2105.05159}
}