Repository for the Software Specification 2016/2017 course at IST, University of Lisbon
-
Updated
Feb 8, 2017 - Alloy
Repository for the Software Specification 2016/2017 course at IST, University of Lisbon
A Genetic Algorithm to translate Operational to Declarative Specifications
Some useful Alloy tips and tricks to get around in MFES
my exercises for Alloy tool
Project developed for the discipline of "Métodos Formais"(Formal Methods).
Formal specification for Miniscript in Alloy
Development of a formal model for an adaptive exterior light and speed control system.
Materials from the Formal Methods for Critical Systems course at FEUP.
Software Engineering II project at Politecnico di Milano
Formal Methods Project and Exercises with Alloy (2022 Course)
A formal specification of Apache Kafka's architecture and temporal behavior, developed using Alloy 6
Add a description, image, and links to the formal-methods topic page so that developers can more easily learn about it.
To associate your repository with the formal-methods topic, visit your repo's landing page and select "manage topics."