Slide 1 Input, Output, and Automation in x86 Proved Jason Gross Hosted by Andrew Kennedy Summer 2014 Slide 2 while true do skip done{true} {false} Verified I/O Programs When…