リンク
Teaching rigorous distributed systems with efficient model checking | the morning paper
抜粋・メモ
- 学生に分散アルゴリズムを勉強させる際に，テストでの確認は難しいので，モデル検査を組み込んだ環境(フレームワーク?)を作った
- 多分特定の記述に従うとモデル検査できるようにしたっぽい
- 学習させることが決まっているので，開発したい内容，チェックしたい性質も決まっているからできたっぽい
Tagged: #model checking