チュートリアル - Alloy Analyzer で形式仕様記述

ここでは、Alloy で形式的に仕様を記述/検査する方法を簡単なものから段階的に説明していきます。

1. ボタンの仕様を書いてみよう
2. 集合を使って仕様を書いてみよう

以降準備中

---