Slide 1Rigorous Software Development CSCI-GA 3033-009 Instructor: Thomas Wies Spring 2013 Lecture 4 Slide 2 Todays Topics The Alloy Analyzer (Ch. 5 of Jackson Book) – From…