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