Program
Verification
Book

Alloy

"Alloy is an open source language and analyzer for software modeling." Alloy is sometimes used to refer to the language, and sometimes used to refer to the toolset/framework (which includes the Alloy Analyzer)

Links

Project page: https://alloytools.org/
Repository: https://github.com/AlloyTools/org.alloytools.alloy
- Last commit date: 04 Nov 2022 (default branch)
- Last commit date: 04 Nov 2022 (last activity)

ProVerB specific

Markdown description: view/edit
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.