Top 16 Alloy open source projects

Proposed documentation for alloytools.org

TLA+ and Alloy specs of database isolation

An efficient graph solver for generating well-formed models

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

Alloy*---Higher Order Logic for Alloy

Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

mIRC Bot - Battle Arena

An advanced automated reasoning tool for memory consistency model specifications.

Memory consistency modelling using Alloy

No description, website, or topics provided.

Vulkan Memory Model

An example of using the Max for Live JavaScript API to modify MIDI clips.

A formal semantics of the RISC-V ISA in Haskell

Beating the CAP theorem with the epidemic register

No description, website, or topics provided.