言語のリファレンス - Alloy Analyzer で形式仕様記述

準備中

• 集合
• 関係
• 命題
• 限量子
• assert
• fact
• Int
• 探索範囲の設定
• 配列
• 関数
• module
• トレース検査

---