#

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 14 public repositories matching this topic...

TheBusyBiscuit / ExtraGear

A very simple Slimefun Addon that adds new Swords and Armor for Slimefun's Alloys

plugin minecraft bukkit slimefun server metal spigot addon mod armor extra gear alloy sword

Updated Sep 23, 2024
Java

ModelWriter / Tarski

A Platform for Automated Analysis of Traceability (WP3)

alloy smt traceability kodkod automated-reasoning formal-trace-semantics

Updated Dec 23, 2017
Java

kaiyuanw / ARepair

A Repair Framework for Alloy

java bash maven repair alloy sat-solver

Updated Aug 15, 2022
Java

WatForm / aldb

A debugger for transition systems modelled in Alloy

debugger cli modeling alloy transition-systems alloytools alloy-analyzer

Updated Aug 20, 2024
Java

ModelWriter / AlloyInEcore

Embedding of First-Order Relational Logic into Meta-Object Facility

uml z3 alloy ecore ecore-metamodel kodkod model-driven-engineering automated-reasoning mof

Updated Apr 30, 2019
Java

hadisfr / alloy-java-api-example

an example IntelliJ project to Alloy5 Java API

alloy

Updated Nov 29, 2019
Java

ModelWriter / WP3

A Platform for Automated Analysis of Traceability (WP3)

emf verification alloy automated-analysis traceability kodkod z

Updated Jun 12, 2017
Java

kaiyuanw / ASketch

A Sketching Framework for Alloy

java bash maven sketching alloy sat-solver

Updated Jun 19, 2018
Java

salarkalan / Specs-Analysis

Analysis of Formal Specifications SAT, SMT, Alloy, NuSMV.

alloy sat-solver smt2 smt-solver nusmv z3-smt-solver limboole nusmv-model-checker

Updated Jul 3, 2024
Java

rhacrsse / car-sharing-service

Documentation to develop a digital management system for a car-sharing service that exclusively employs electric cars

java testing pdf keynote latex project software-engineering alloy polimi

Updated Feb 20, 2017
Java

rfago / hyperAlloy

Extension of Alloy Analyzer for Hyperproperties (HyperLTL) via HyperQB and AutoHyper integration.

model-checking alloy formal-verification bounded-model-checking hyperproperties hyperltl hyperqb autohyper hyperalloy

Updated Oct 13, 2025
Java

drag0sd0g / microservice-observability-instrumentation

A comprehensive demonstration of modern observability practices using the Grafana stack (Prometheus, Loki, Tempo, Alloy, Grafana) with OpenTelemetry instrumentation in a distributed microservices architecture.

java docker spring-boot gradle grafana prometheus alloy liquibase loki alertmanager tempo cockroachdb chaos-engineering otel

Updated Nov 30, 2025
Java

mirkomantovani / Travlendar-plus

Software Engineering II project - web application in J2EE framework and documentation (RASD, DD) . Apache Derby Relational Database, JPA, Servlets, JSP. JUnit and Mockito testing

javascript css java jsp jpa servlet j2ee alloy apache-derby

Updated Jul 2, 2019
Java

szilagyib / SysMLToGraphmodelGenerator

Xtend based plugin for automatic generation of graphmodels from SysMLv2 input models

java alloy xtend xtext sysml viatra sysmlv2

Updated Dec 17, 2022
Java

Followers: 4 followers
Organization: AlloyTools
Website: github.com/topics/alloy-analyzer
Wikipedia: Wikipedia