Deductive Binary Code Verification Against Source-Code-Level Specifications.

Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro

Browse the full TAP paper archive.