Alcino Cunha (Haslab-EEUM) and Nuno Macedo (INESC TEC) contributed to the development of Alloy 6, the latest version of one of the most used specification and analysis platforms for the formal analysis of designs in the early stages of software development. This new version of the language presents new primitives […]