Machine-Code Verification for Multiple Architectures - An Application of Decompilation into Logic.

Magnus O. Myreen, Michael J. C. Gordon, Konrad Slind

Browse the full FMCAD paper archive.