Alloy language

Redirect to:

• Alloy (specification language)