Validating Multiple Variants of an Automotive Light System with Electrum

von Cunha, Alcino
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)

Merging Cloned Alloy Models with Colorful Refactorings

von Liu, Chong
Veröffentlicht in SBMF (23. : 2020 : Online) Formal methods: foundations and applications (2020)

Timely Specification Repair for Alloy 6

von Cerqueira, Jorge
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)

Experiences on Teaching Alloy with an Automated Assessment Platform

von Macedo, Nuno
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)