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 158 public repositories matching this topic...
Repositório dos trabalhos de casa da UC de Métodos Formais em Engenharia de Software (MFES) - Mestrado em Engenharia Informática (MEI/MIEI) - Universidade do Minho (UMinho)
-
Updated
Jan 13, 2024 - Jupyter Notebook
-
Updated
Jan 20, 2018 - Alloy
Software Engineering II project - web application in J2EE framework and documentation (RASD, DD) . Apache Derby Relational Database, JPA, Servlets, JSP. JUnit and Mockito testing
-
Updated
Jul 2, 2019 - Java
(my verification project for cs5110 / cs6110) A vscode extension that adds live visualizations of alloy type structures to vscode. (also includes some basic some basic langauge support)
-
Updated
May 1, 2021 - TypeScript
⭐ Axway Amplify module for using Google Sign-in with Appcelerator Titanium SDK Framework
-
Updated
Apr 11, 2022 - Objective-C
This is a test task written in Titanium SDK with Alloy framework.
-
Updated
Feb 6, 2023 - JavaScript
Especificação formal de uma distribuição de funcionários para a disciplina Lógica para Computação.
-
Updated
Aug 1, 2018 - Alloy
-
Updated
Jul 14, 2018 - Alloy
An Alloy widget Segmented Control for Titanium / Appcelerator (Cross-platform )
-
Updated
Apr 30, 2018 - JavaScript
- Followers
- 4 followers
- Organization
- AlloyTools
- Website
- alloytools.org
- Wikipedia
- Wikipedia