TL;DR
目次
- ざっと一巡り
- 論理系
- 言語
- 解析
- 事例
- 練習問題
- Alloy 言語リファレンス
- 中核の意味論
- 図的記法
- Alloy 以外の手法
- Alloy Analyzer クイックガイド
- 訳語一覧
感想
AI 駆動開発に向けて、Alloy を最低限読み書きできるようになるために読みたい。実践TLA+ と併せて読むつもりである。きっかけは AIと共に進化する開発手法：形式手法と関数型プログラミングの可能性 である。
AI 駆動開発に向けて、Alloy を最低限読み書きできるようになるために読みたい。実践TLA+ と併せて読むつもりである。きっかけは AIと共に進化する開発手法：形式手法と関数型プログラミングの可能性 である。