Bringing formality to your workflow
This course teaches how to introduce formal tools in the design and coding stages of the development process. In particular, we introduce Alloy as a tool for formal modeling, in which you can document and experiment with your models and processes.