TRUST

__Trustworthy Software Design with Alloy__ - is an FCT project that proposes to investigate lightweight approaches to verify software systems via the Alloy toolset, considering aspects such as variability of systems