Assembly Code Verification Using Model Checking Assembly Code Verification Using Model Checking Hao XIAO Singapore University of Technology and Design Outline Motivation…