Project Overview

This site explores the Alloy specification language and its application with the Alloy Analyzer.

Contributors

Unknown

Relevant Links

Guide to Alloy