Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended) | Publicación