Alloy
alloytools.org
Releases · AlloyTools/org.alloytools.alloy
Formal Software Design with Alloy 6 — Formal Software Design with Alloy 6
Alloy Analyzer - Wikipedia
Alloy (specification language) - Wikipedia
抽象によるソフトウェア設計−Alloyではじめる形式手法− | Daniel Jackson, 中島 震, 今井 健男, 酒井 政裕, 遠藤 侑介, 片岡 欣夫 |本 | 通販 | Amazon
Alloy 6 の新機能 Mutable Field と線形時相論理