Project Overview

Alloy is a language and a toolkit for exploring the kinds of structures that arise in many software designs. This article aims to give readers a flavor of Alloy in action, and some examples of its applications to date, thus giving a sense of how it can be used in software design work.

Contributors

Daniel Jackson

Relevant Links

Alloy: A Language and Tool for Exploring Software Designs