A formal specification of Apache Kafka's architecture and temporal behavior, developed using Alloy 6
-
Updated
Apr 18, 2024 - Alloy
A formal specification of Apache Kafka's architecture and temporal behavior, developed using Alloy 6
Formal Methods Project and Exercises with Alloy (2022 Course)
Software Engineering II project at Politecnico di Milano
Materials from the Formal Methods for Critical Systems course at FEUP.
Development of a formal model for an adaptive exterior light and speed control system.
Formal specification for Miniscript in Alloy
Project developed for the discipline of "Métodos Formais"(Formal Methods).
my exercises for Alloy tool
Some useful Alloy tips and tricks to get around in MFES
A Genetic Algorithm to translate Operational to Declarative Specifications
Repository for the Software Specification 2016/2017 course at IST, University of Lisbon
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."