Proving LTL properties of bitvector programs and decompiled binaries (extended)
Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu[arXiv] [Google Scholar] [DBLP] [Citeseer]
[arXiv] [Google Scholar] [DBLP] [Citeseer]