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 2105.05159 cs.PL
2021
Note(s): binary analysis, ISA specification