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

Browse the full APLAS paper archive.