Discussion and reviewing working models. (Stack overflow for non-working models)

Disscussions about experiments with the Alloy code base

Alloy 6 is the current version of Alloy. It integrated successfully the Electrum code base. Alloy 6 now has variables and time operators.

Questions about using Alloy. If you got a stuck model, try to minimize it to the essence and post your question here.

This category is intended to discuss the new Alloy Java API. Any issue in its development is far game. It will likely touch on many deep dark implementation details of Alloy.

Daniel Jackson wrote the book about Alloy: Software Abstractions. This category discusses questions and ideas related to this book.