Formal specification for Miniscript in Alloy
-
Updated
Dec 15, 2020 - Alloy
Formal specification for Miniscript in Alloy
Some useful Alloy tips and tricks to get around in MFES
A Genetic Algorithm to translate Operational to Declarative Specifications
Project developed for the discipline of "Métodos Formais"(Formal Methods).
A formal specification of Apache Kafka's architecture and temporal behavior, developed using Alloy 6
Formal Methods Project and Exercises with Alloy (2022 Course)
my exercises for Alloy tool
Software Engineering II project at Politecnico di Milano
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.
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."