Slide 1 Lecture 6 Template Semantics CS6133 Fall 2011 Software Specification and Verification Slide 2 2 Input Language to Formal Analysis Tools Input languages to many analysis…