Slide 1Rigorous Software Development CSCI-GA 3033-011 Instructor: Thomas Wies Spring 2012 Lecture 2 Slide 2 Alloy Analyzer Analyzes micro models of software Helps to –…
