CS:5810 Formal Methods in Software Engineering¶ The University of Iowa Lectures An introduction to Alloy 6 - Part 1¶ An introduction to Alloy 6 - Part 2¶ An introduction to Alloy 6 - Part 3¶