Welcome to the tutorial! Before we begin we advise you to have Alloy running on your computer so that you can try out the examples as you work through the tutorial.

For instructions on how to download and start Alloy, see the Official Website. Solutions to problems you are likely to encounter may be found in the FAQs or in Getting Started.

We will be incrementally developing examples and introducing the features and concepts as we go. Keywords will be highlighted and their definitions can be found in the glossary.

What will be included:

• A guide to Alloy's interface and visualiser
• Writing a model in Alloy
• Troubleshooting & Tips on using Alloy

For more information on Alloy, we recommend you try these links.