CS:5810 Formal Methods in Software Engineering
Introduction to Alloy 6
https://homepage.cs.uiowa.edu/~tinelli/classes/181/Fall22/Notes/03.1-intro-to-alloy.pdf
https://homepage.cs.uiowa.edu/~tinelli/classes/181/Fall22/Notes/03.2-intro-to-alloy.pdf
https://homepage.cs.uiowa.edu/~tinelli/classes/181/Fall22/Notes/03.3-intro-to-alloy.pdf