RESOURCE
papers
Alloy has been used as a design and analysis tool in a wide variety of applications and projects in industry, research and teaching.
This page lists research papers and case studies that use Alloy…
Alloy Citations
| Google scholar | A sample of over 1200 papers discussing Alloy |
| case studies | Selected papers describing applications of Alloy |
| translations | Papers on translating a dozen other languages into Alloy |
| theses | Theses about Alloy |