Deductive Binary Code Verification Against Source-Code-Level Specifications. - Alexander Kamkin; Alexey Khoroshilov; Artem Kotsynyak; Pavel Putro (TAP@STAF, 2020)