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)
Framework

Links

Last commit date

3 November 2021

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.