Proving LTL properties of bitvector programs and decompiled binaries. (English) Zbl 1520.68076
Oh, Hakjoo (ed.), Programming languages and systems. 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13008, 285-304 (2021).
MSC:
68Q60