別名「並列プログラミングとモデル検査入門」
スケジュール・資料
- 第1回：イントロダクション
- 第2回：並行システムモデリングの基礎・付録ファイル
- 第3回：相互排他・付録ファイル
- 第4回：モニター・付録ファイル
- 第5回：性質の検証（１）
- 第6回：性質の検証（２）・付録ファイル
- 第7回：性質の検証（３）・付録ファイル
- 第8回：メッセージング・付録ファイル
- 第9回：並行アーキテクチャ・付録ファイル
- 第10回：時間の離散モデル化・付録ファイル
- 第11～12回：Javaマルチスレッドパターン
- 第13～15回：まとめ・補足・議論
休講予定：10/13（体育祭＆講師出張），11/3（祝日），12/8（創立記念日）
レポート課題
レポート提出先・問い合わせ先
f-ishikawa [[at]] nii.ac.jp