Alloyさわってみたメモ
2022-03-18
Techちょっと形式手法ツールAlloyを使ってみたい場面があったのでとりあえずインストールしてみた。昔ちょっとだけ触ったことあるんだけど。
Macだとbrew install alloyで入るので楽。
とりあえずチュートリアルやるか〜と思ったものの：
Visualizeすると「全部非表示になりました。Themeを設定してください」みたいなメッセージが表示される。うーん。仕様が変わったのかな。
さらに検索すると、最新版であるAlloy6のチュートリアルが見つかった。ありがたい。
6では状態遷移がより書けるようになってるらしい。良いね。
というところで今日はここまで。
