CSE 3341.03 Winter 2008 Introduction to Program Verification calculating with wp symbex: swap example (p. 30) //{ X = 'old X' and Y = 'old Y' } void swap(X,…
