Slide 1Rigorous Software Development CSCI-GA 3033-011 Instructor: Thomas Wies Spring 2012 Lecture 12 Slide 2 Axiomatic Semantics An axiomatic semantics consists of: – a…