alloy
In computer science and software engineering, Alloy is a declarative
specification language for expressing complex structural constraints and
behavior in a software system. Alloy provides a simple structural modeling tool
based on first-order logic. Alloy is targeted at the creation of micro-models
that can then be automatically checked for correctness. Alloy specifications
can be checked using the Alloy Analyzer.
Here are 10 public repositories matching this topic...
Requirement Analysis and Specification Document - Project for the Software Engineering 2 course at Politecnico di Milano.
-
Updated
Sep 26, 2020 - TeX
RASD/DD project developed in the course SOFTWARE ENGINEERING 2 of Politecnico di Milano during the academic year 2024/2025. RASD/DD mark: 14/14; Homeworks mark: 6/6.
-
Updated
Feb 24, 2025 - TeX
2018/2019 Software Engineering II project by Alberto Archetti and Fabio Carminati
-
Updated
May 10, 2021 - TeX
Formalization of the (VIS, AR) Specification Framework for Both Transactional and Non-Transactional Consistency Models
-
Updated
May 8, 2023 - TeX
Analyzing database relational calculus schemata and queries using MIT's Alloy tools
-
Updated
Feb 28, 2024 - TeX
Theory notes, exercises, and project - Software Engineering II course - Computer Science @ FAMAF (UNC)
-
Updated
Jun 22, 2025 - TeX
Software Engineering 2 Project A.Y. 2021-2022
-
Updated
Apr 21, 2022 - TeX
-
Updated
Dec 10, 2018 - TeX
- Followers
- 4 followers
- Organization
- AlloyTools
- Website
- github.com/topics/alloy-analyzer
- Wikipedia
- Wikipedia